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

Volume 69, 2013

Formal Methods for Interactive Systems
Preface Articles
maintained by Schloss Dagstuhl LZI at University of Trier