Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006 : revised lectures /
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Electronic Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin :
Springer,
2007
|
| Series: | LNCS sublibrary Programming and software engineering.
Lecture notes in computer science 4709 |
| Subjects: |