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

Volume 23: Automated Verification of Critical Systems 2009

Articles
a service of Schloss Dagstuhl - Leibniz Center for Informatics