"Strengths and Weaknesses of Program Verification Systems."

Dan Craigen (1987)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics