Navegar

Colección

Datos Estadísticas

Lista de

Tapicer, Jonathan
2
2014
1
"On verifying resource contracts using code contracts" (2014) Castaño, R.;Garbervetsky, D.;Tapicer, J. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:1-15