Navegar

Colección

Datos Estadísticas

Lista de

Galeotti, Juan Pablo
12
10th International Conference on Formal Engineering Methods, ICFEM 2008
1
19th International Symposium on Software Testing and Analysis, ISSTA 2010
1
1st Latin American Workshop on Formal Methods, LAFM 2013
2
2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012
1
22nd International Symposium on Software Testing and Analysis, ISSTA 2013
1
27th International Conference on Software Engineering, ICSE05
1
2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010
1
5th International Conference on Tests and Proofs, TAP 2011
1
9th International Conference on Software Engineering and Formal Methods, SEFM 2011
1
IEEE Transactions on Software Engineering
1
Software and Systems Modeling
1