de Caso, Guido

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-4 de 4

Artículo Automated abstractions for contract validation

de Caso, Guido ; Braberman, Victor Adrian ; Garbervetsky, Diego David ; Uchitel, Sebastian (IEEE Computer Society, 2012-01)
Artículo Enabledness-based program abstractions for behavior validation

de Caso, Guido ; Braberman, Victor Adrian ; Garbervetsky, Diego David ; Uchitel, Sebastian (Assoc Computing Machinery, 2013-07)
Artículo Integrated program verification tools in education

de Caso, Guido ; Garbervetsky, Diego David ; Gorin, Daniel Alejadro (Wiley, 2013-04)
Artículo Supporting incremental behaviour model elaboration

Uchitel, Sebastian ; Alrajeh, Dalal; Ben David, Shoham; Braberman, Victor Adrian ; Chechik, Marsha; de Caso, Guido ; D'ippolito, Nicolás Roque ; Fischbein, Dario; Garbervetsky, Diego David ; Kramer, Jeff; Russo, Alessandra; Sibay, German (Springer Verlag Berlín, 2013-11)

Mostrando ítems 1-4 de 4