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

Volume 45, 2011

Formal Methods for Interactive Systems
maintained by Schloss Dagstuhl LZI, founded at University of Trier