"Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, ..."

John P. Gallagher, Philipp Rümmer (2016)

Details and statistics

DOI: 10.4204/EPTCS.219

access: open

type: Editorship

metadata version: 2023-09-30

a service of  Schloss Dagstuhl - Leibniz Center for Informatics