Formal Methods in System Design, Volume 35

Volume 35, Number 1, August 2009

Special Issue: 20th International Conference on Computer Aided Verification (CAV'08)

Volume 35, Number 2, October 2009

Volume 35, Number 3, December 2009

Special issue on Numerical Software Verification
maintained by Schloss Dagstuhl LZI at University of Trier