Leavens, Gary T.
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings / [electronic resource] : edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6217 0302-9743 ; . - Lecture Notes in Computer Science, 6217 .
9783642150579
10.1007/978-3-642-15057-9 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
QA76.758
005.1
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings / [electronic resource] : edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6217 0302-9743 ; . - Lecture Notes in Computer Science, 6217 .
9783642150579
10.1007/978-3-642-15057-9 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
QA76.758
005.1