Congress detail

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

Title: Using a set constraint solver for program verification.

Resumen: setlog.

Meeting type: Workshop.

Type of job: Artículo Completo.

Production: Using a set constraint solver for program verification.

Scientific meeting: 4th Workshop on Horn Clauses for Verification and Synthesis, HCVS@CADE 2017.

It's published?: Yes

Publication place: Gotemburgo

Meeting month: 8

Year: 2017.

Link: here