Bošnački, Dragan.
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / [electronic resource] : edited by Dragan Bošnački, Stefan Edelkamp. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4595 0302-9743 ; . - Lecture Notes in Computer Science, 4595 .
9783540733706
10.1007/978-3-540-73370-6 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 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / [electronic resource] : edited by Dragan Bošnački, Stefan Edelkamp. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4595 0302-9743 ; . - Lecture Notes in Computer Science, 4595 .
9783540733706
10.1007/978-3-540-73370-6 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.758
005.1