Navegar

Colección

Datos Estadísticas

Lista de

de Caso, Guido
13
2013
3
"Supporting incremental behaviour model elaboration" (2013) Uchitel, S.;Alrajeh, D.;Ben-David, S. (...)Sibay, G. Computer Science - Research and Development. 28(4):279-293
"Integrated program verification tools in education" (2013) De Caso, G.; Garbervetsky, D.; Gorín, D. Software - Practice and Experience. 43(4):403-418
"Enabledness-based program abstractions for behavior validation" (2013) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. ACM Transactions on Software Engineering and Methodology. 22(3)