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

Volume 70, 2014

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