"Assessing traditional verification's effectiveness on safety-critical ..."

Lon D. Gowen, James S. Collofello (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics