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

Volume 45, 2011

Formal Methods for Interactive Systems