Electronic Communication of the European Association of Software Science and Technology, Volume 46

Volume 46, 2011

Automated Verification of Critical Systems
a service of Schloss Dagstuhl - Leibniz Center for Informatics