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

Volume 46, 2011

Automated Verification of Critical Systems
maintained by Schloss Dagstuhl LZI, founded at University of Trier