Barthe, Gilles.
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings / [electronic resource] : edited by Gilles Barthe, Manuel Hermenegildo. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 5944 0302-9743 ; . - Lecture Notes in Computer Science, 5944 .
9783642113192
10.1007/978-3-642-11319-2 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Software Engineering/Programming and Operating Systems.
QA76.758
005.1
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings / [electronic resource] : edited by Gilles Barthe, Manuel Hermenegildo. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 5944 0302-9743 ; . - Lecture Notes in Computer Science, 5944 .
9783642113192
10.1007/978-3-642-11319-2 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Software Engineering/Programming and Operating Systems.
QA76.758
005.1