Formal methods for industrial critical systems 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings - International Workshop on Formal Methods for Industrial Critical Systems 2009 : Eindhoven, The Netherlands); Alpuente, Maria; Cook, Byron; Joubert, Christophe; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009)
Keywords: Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Computer programs -- Verification -- Congresses; Software Engineering; Special Purpose and Application-Based Systems; Computer Science; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters