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

Refine list

showing all ?? records

Volume 22: Formal Methods for Interactive Systems 2009

Articles
a service of  Schloss Dagstuhl - Leibniz Center for Informatics