Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
57
| Main Authors: | , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin : Springer,
2005
|
| Subjects: |