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'
maintained by Schloss Dagstuhl LZI at University of Trier