"Automatic Verification and Conformance Testing for Validating Safety ..."

Vlad Rusu, Hervé Marchand, Thierry Jéron (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics