Navegar

Colección

Datos Estadísticas

Lista de

Frias, Marcelo
22
10th International Conference on Formal Engineering Methods, ICFEM 2008
1
11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006
1
12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009
1
13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2007)
1
19th International Symposium on Software Testing and Analysis, ISSTA 2010
1
1st Latin American Workshop on Formal Methods, LAFM 2013
1
2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013
1
2014 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2014
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
5th International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2013
1
7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010
2
9th International Conference on Software Engineering and Formal Methods, SEFM 2011
1
ACM SIGPLAN Notices
1
ACM Transactions on Software Engineering and Methodology
2
IEEE Transactions on Software Engineering
2
Software and Systems Modeling
1