"Inductive Invariant Checking with Partial Negative Application Conditions."

Johannes Dyck, Holger Giese (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics