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

Volume 66, 2013

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