%0 Conference Paper %1 journals/corr/CastanoGGTZ14 %A Castaño, Rodrigo %A Galeotti, Juan Pablo %A Garbervetsky, Diego %A Tapicer, Jonathan %A Zoppi, Edgardo %B LAFM %D 2013 %E Aguirre, Nazareno %E Ribeiro, Leila %K dblp %P 1-15 %T On Verifying Resource Contracts using Code Contracts. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs139.html#CastanoGGTZ14 %V 139

@inproceedings{journals/corr/CastanoGGTZ14, added-at = {2018-11-02T00:00:00.000+0100}, author = {Castaño, Rodrigo and Galeotti, Juan Pablo and Garbervetsky, Diego and Tapicer, Jonathan and Zoppi, Edgardo}, biburl = {https://www.bibsonomy.org/bibtex/2721701e42385977a64038d1c169e6bd4/dblp}, booktitle = {LAFM}, crossref = {journals/corr/AguirreR14}, editor = {Aguirre, Nazareno and Ribeiro, Leila}, ee = {http://arxiv.org/abs/1401.0968}, interhash = {339c151889f6ac3b1ef394abda96c66c}, intrahash = {721701e42385977a64038d1c169e6bd4}, keywords = {dblp}, pages = {1-15}, series = {EPTCS}, timestamp = {2019-12-03T11:40:22.000+0100}, title = {On Verifying Resource Contracts using Code Contracts.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs139.html#CastanoGGTZ14}, volume = 139, year = 2013 }