Navegar

Colección

Datos Estadísticas

Lista de

Rosner, Nicolás
9
19th International Symposium on Software Testing and Analysis, ISSTA 2010
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
2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010
1
5th International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2013
1
ACM SIGPLAN Notices
1
IEEE Transactions on Software Engineering
2