Navegar

Colección

Datos Estadísticas

Lista de

Garbervetsky, Diego
30
2009 31st International Conference on Software Engineering, ICSE 2009
1
"Validation of contracts using enabledness preserving finite state abstractions" (2009) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 2009 31st International Conference on Software Engineering, ICSE 2009:452-462