On verifying resource contracts using Code Contracts
| Title | On verifying resource contracts using Code Contracts |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Castaño, R, Galeotti, JP, Garbervetsky, D, Tapicer, J, Zoppi, E |
| Conference Name | 1st Latin American Workshop on Formal Methods (LAFM 2013), co-located with Concur’13 |
| Date Published | 08/2013 |
PDF (Full text):
Work Package:
WP2
