Buscar por Autor Uchitel, Sebastian
Mostrando resultados 1 a 3 de 3
Fecha de publicación | Título | ???itemlist.dc.creator.*??? | ???itemlist.dc.provenance??? |
---|---|---|---|
9-nov-2015 | Automated support for diagnosis and repair | Alrajeh, Dalal; Russo, Alessandra; Kramer, Jeff; Uchitel, Sebastian | CONICET |
3-may-2017 | Enabledness-based program abstractions for behavior validation | de Caso, Guido; Braberman, Victor Adrian; Garbervetsky, Diego David; Uchitel, Sebastian | - |
may-2017 | Using contexts to extract models from code | Duarte, Lucio Mauro; Kramer, Jeff; Uchitel, Sebastian | CONICET |