On Verifying Resource Contracts using Code Contracts
| Title | On Verifying Resource Contracts using Code Contracts |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Castaño, R, Galeotti, JP, Garbervetsky, D, Tapicer, J, Zoppi, E |
| Conference Name | Proceedings First Latin American Workshop on Formal Methods, {LAFM} 2013, Buenos Aires, Argentina, August 26th 2013. |
| URL | http://dx.doi.org/10.4204/EPTCS.139.1 |
| DOI | 10.4204/EPTCS.139.1 |
Work Package:
WP4
