Navegar

Colección

Datos Estadísticas

Lista de

Garbervetsky, Diego
30
12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012
1
12th Symposium on Dynamic Languages, DLS 2016
1
17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011
1
1st Latin American Workshop on Formal Methods, LAFM 2013
2
1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011
3
2006 OOPSLA Workshop on Eclipse Technology eXchange, ETX 2006
1
2008 International Symposium on Memory Management, ISMM'08
1
2009 31st International Conference on Software Engineering, ICSE 2009
1
33rd International Conference on Software Engineering, ICSE 2011
1
7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009
1
8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings
1
9th International Conference on Software Engineering and Formal Methods, SEFM 2011
1
ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015 - Part of SPLASH 2015
1
ACM Transactions on Software Engineering and Methodology
1
Computer Science - Research and Development
1
Concurrency Computation Practice and Experience
1
Distributed, Embedded and Real-time Java Systems
1
IEEE Transactions on Software Engineering
1
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
1
Journal of Object Technology
1
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1
Science of Computer Programming
2
Software and Systems Modeling
1
Software - Practice and Experience
3