Detalle del congreso

Autores: Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia.

Resumen: setlog.

Tipo de reunión: Workshop.

Tipo de trabajo: Artículo Completo.

Producción: Using a set constraint solver for program verification.

Reunión científica: 4th Workshop on Horn Clauses for Verification and Synthesis, HCVS@CADE 2017.

Publicado: Sí

Lugar publicación: Gotemburgo

Mes de reunión: 8

Año: 2017.

Página web: aquí