"Research Directions for Automated Software Verification: Using Trusted ..."

Premkumar T. Devanbu, Stuart G. Stubblebine (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics