FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.).
"This volume contains the proceedings of Formal Methods 2005, the 13th International Symposium on Formal Methods held in Newcastle upon Tyne, UK, during July 18-22, 2005."
Saved in:
Alternate Title: | Formal methods 2005 |
---|---|
Online Access: | Electronic book from Springer Complete |
Corporate Author: | |
Other Authors: | |
Format: | Conference Proceeding eBook |
Language: | English |
Published: | Berlin ; New York : Springer, 2005. |
Series: | Lecture notes in computer science ;
3582. |
Subjects: |