Godefroid, Patrice.
Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings / [electronic resource] : edited by Patrice Godefroid. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3639 0302-9743 ; . - Lecture Notes in Computer Science, 3639 .
9783540318996
10.1007/11537328 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.758
005.1
Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings / [electronic resource] : edited by Patrice Godefroid. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3639 0302-9743 ; . - Lecture Notes in Computer Science, 3639 .
9783540318996
10.1007/11537328 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.758
005.1