FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / [electronic resource] :
edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
- v.: digital
- Lecture Notes in Computer Science, 3582 0302-9743 ; .
9783540317142
Computer science Software engineering Logic design Information Systems Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Mathematical Logic and Formal Languages Management of Computing and Information Systems