Formal methods for industrial critical systems 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
Formal methods for industrial critical systems 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings / [electronic resource] :
edited by Maria Alpuente, Byron Cook, Christophe Joubert.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
- x, 212 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5825 0302-9743 ; .
9783642045707 (electronic bk.) 9783642045691 (paper)
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.
QA76.9.F67 / I63 2009
005.131
9783642045707 (electronic bk.) 9783642045691 (paper)
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.
QA76.9.F67 / I63 2009
005.131