Formal Methods in System Design, Volume 39

Volume 39, Number 1, August 2011

Volume 39, Number 2, October 2011

Special issue on Hardware Verification Workshop (HWVW '10)

Volume 39, Number 3, December 2011

Special issue on Computer-Aided Verification (CAV'09)
maintained by Schloss Dagstuhl LZI at University of Trier