Romijn, Judi.
Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / [electronic resource] : edited by Judi Romijn, Graeme Smith, Jaco Pol. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3771 0302-9743 ; . - Lecture Notes in Computer Science, 3771 .
9783540322405
10.1007/11589976 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Programming Techniques.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / [electronic resource] : edited by Judi Romijn, Graeme Smith, Jaco Pol. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3771 0302-9743 ; . - Lecture Notes in Computer Science, 3771 .
9783540322405
10.1007/11589976 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Programming Techniques.
QA76.9.L63 QA76.5913 QA76.63
005.1015113