"Counterexample-guided approach to finding numerical invariants."

ThanhVu Nguyen et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics