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