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 at University of Trier