Formal Methods in System Design, Volume 30
Volume 30, Number 1, February 2007
Special Issue on MEMOCODE
Volume 30, Number 2, April 2007
Volume 30, Number 3, June 2007
Special issue of Selected Papers from the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Linz, Austria
: From NuSMV to SPIN: Experiences with model checking flight guidance systems.