FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /
Saved in:
Corporate Author: | |
---|---|
Other Authors: | , , |
Format: | Electronic Conference Proceeding eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2005.
|
Series: | Lecture notes in computer science
3582. |
Subjects: |