"Lazy Abstraction for Higher-Order Program Verification."

Taku Terao (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics