Formal Methods in System Design, Volume 44

Volume 44, Number 1, February 2014

Volume 44, Number 2, April 2014

Volume 44, Number 3, June 2014

a service of Schloss Dagstuhl - Leibniz Center for Informatics