Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers /
Corporate Author: | |
---|---|
Other Authors: | |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
New York :
Springer,
2010
|
Series: | LNCS sublibrary Programming and software engineering.
Lecture notes in computer science ; 6286 Lecture notes in computer science State-of-the-art survey. |
Subjects: |