Formal Methods in System Design, Volume 40

Volume 40, Number 1, February 2012

Volume 40, Number 2, April 2012

Special issue on Computer Aided Verification (CAV'10)

Volume 40, Number 3, June 2012

maintained by Schloss Dagstuhl LZI at University of Trier