Grumberg, Orna.
25 Years of Model Checking History, Achievements, Perspectives / [electronic resource] : edited by Orna Grumberg, Helmut Veith. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5000 0302-9743 ; . - Lecture Notes in Computer Science, 5000 .
9783540698500
10.1007/978-3-540-69850-0 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Programming Techniques.
Mathematical Logic and Formal Languages.
QA76.758
005.1
25 Years of Model Checking History, Achievements, Perspectives / [electronic resource] : edited by Orna Grumberg, Helmut Veith. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5000 0302-9743 ; . - Lecture Notes in Computer Science, 5000 .
9783540698500
10.1007/978-3-540-69850-0 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Programming Techniques.
Mathematical Logic and Formal Languages.
QA76.758
005.1