"Learning Algorithms and Formal Verification (Invited Tutorial)."

P. Madhusudan (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics