A Bounded Model Checking Technique for Higher-Order Programs.

Yu-Yang Lin, Nikos Tzevelekos

Browse the full SETTA paper archive.