Fabio Fioravanti

Analysis and Transformation of Constrained Horn Clauses for Program Verification pdf

John P. Gallagher, Alberto Pettorossi, Manuel V. Hermenegildo, 2021, Theory Pract. Log. Program..