"A SAT Characterization of Boolean-Program Correctness."

K. Rustan M. Leino (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics