@conference {93,
	title = {On verifying resource contracts using Code  Contracts},
	booktitle = {1st Latin American Workshop on Formal Methods (LAFM 2013), co-located with Concur{\textquoteright}13},
	year = {2013},
	month = {08/2013},
	author = {Rodrigo Casta{\~n}o and Juan Pablo Galeotti and Diego Garbervetsky and Jonathan Tapicer and Edgardo Zoppi}
}