Navegar

Colección

Datos Estadísticas

Lista de

1st Latin American Workshop on Formal Methods, LAFM 2013
3
2014
3
"The DynAlloy visualizer" (2014) Bendersky, P.;Galeotti, J.P.;Garbervetsky, D. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:59-64
"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
"HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications" (2014) Giménez, M.;Moscato, M.M.;Pombo, C.G.L. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:65-70