CIFASIS 20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Using a set constraint solver for program verification
Autor/es:
FRYDMAN, CLAUDIA; CRISTIÁ, MAXIMILIANO; ROSSI, GIANFRANCO
Reunión:
Workshop; 4th Workshop on Horn Clauses for Verification and Synthesis, HCVS@CADE 2017; 2017
Resumen:
setlog
