"A Verification-Driven Approach to Traceability and Documentation for ..."

Ewen Denney, Bernd Fischer (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics