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

Edited Book
Publication Date:
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
Iris type:
04.08 Curatela di Atti di convegno
Keywords:
Program Verification; Program Synthesis; Program Transformation; Relational Verification
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/373671