|
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 |
2010 |
102 | 2 |
p. 145-176 |
article |
1 results found