Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning

Curatela
Data di Pubblicazione:
2019
Abstract:
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning Prague, Czech Republic, 6-7th April 2019
Tipologia CRIS:
04.08 Curatela di Atti di convegno
Keywords:
Program Verification; Program Synthesis; Program Transformation; Relational Verification
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/373671