Pol, Jaco.
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings / [electronic resource] : edited by Jaco Pol, Michael Weber. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6349 0302-9743 ; . - Lecture Notes in Computer Science, 6349 .
9783642161643
10.1007/978-3-642-16164-3 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
QA76.758
005.1
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings / [electronic resource] : edited by Jaco Pol, Michael Weber. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6349 0302-9743 ; . - Lecture Notes in Computer Science, 6349 .
9783642161643
10.1007/978-3-642-16164-3 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
QA76.758
005.1