Navegar

Colección

Datos Estadísticas

Lista de

López Pombo, Carlos Gustavo
15
11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006
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
21st International Workshop on Algebraic Development Techniques, WADT 2012
1
27th International Conference on Software Engineering, ICSE05
1
2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010
1
7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010
3
9th International Symposium on Formal Aspects of Component Software, FACS 2012
1
ACM Transactions on Software Engineering and Methodology
2
IEEE Transactions on Software Engineering
1
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1
Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002)
1