Formal Methods in System Design, Volume 37

Volume 37, Number 1, November 2010

Volume 37, Numbers 2-3, December 2010

Special issue on 'FM2009: 2nd World Congress on Formal Methods'
a service of Schloss Dagstuhl - Leibniz Center for Informatics