Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
                             1 results found
no title author magazine year volume issue page(s) type
1 Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols Brady, Edwin
102 2 p. 145-176
                             1 results found
 Koninklijke Bibliotheek - National Library of the Netherlands