"Formal Verification: A New Standard CAD Tool for the Industrial Design Flow."

Wolfgang Rosenstiel (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics