Păsăreanu, Corina S.
Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings / [electronic resource] : edited by Corina S. Păsăreanu. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5578 0302-9743 ; . - Lecture Notes in Computer Science, 5578 .
9783642026522
10.1007/978-3-642-02652-2 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 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings / [electronic resource] : edited by Corina S. Păsăreanu. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5578 0302-9743 ; . - Lecture Notes in Computer Science, 5578 .
9783642026522
10.1007/978-3-642-02652-2 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.758
005.1