"The Incorporation of Testing into Verification: Direct, Modular, and ..."

Leo Marcus (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics