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

Volume 35, 2010

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