Formal Methods in System Design, Volume 45

Volume 45, Number 1, August 2014

Volume 45, Number 2, October 2014

Special issue on FMCAD 2012

Volume 45, Number 3, December 2014

maintained by Schloss Dagstuhl LZI, founded at University of Trier