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

Volume 69, 2013

Formal Methods for Interactive Systems
Preface Articles
a service of Schloss Dagstuhl - Leibniz Center for Informatics