Software and Systems Safety - Specification and Verification 2011

a service of Schloss Dagstuhl - Leibniz Center for Informatics