Open AccessProceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
Author(s) -
Zafer Esen,
Philipp Rümmer
Publication year - 2020
Publication title -
electronic proceedings in theoretical computer science
Language(s) - English
Resource type - Journals
ISSN - 2075-2180
DOI - 10.4204/eptcs.320.12
Subject(s) - transformation (genetics) , horn clause , computer science , french horn , software engineering , programming language , systems engineering , engineering , sociology , chemistry , logic programming , pedagogy , biochemistry , gene