Groce, Alex.
Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / [electronic resource] : edited by Alex Groce, Madanlal Musuvathi. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6823 0302-9743 ; . - Lecture Notes in Computer Science, 6823 .
9783642223068
10.1007/978-3-642-22306-8 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 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / [electronic resource] : edited by Alex Groce, Madanlal Musuvathi. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6823 0302-9743 ; . - Lecture Notes in Computer Science, 6823 .
9783642223068
10.1007/978-3-642-22306-8 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