Beckert, Bernhard.
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino / [electronic resource] : edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4334 0302-9743 ; . - Lecture Notes in Computer Science, 4334 .
9783540690610
10.1007/978-3-540-69061-0 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Q334-342 TJ210.2-211.495
006.3
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino / [electronic resource] : edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4334 0302-9743 ; . - Lecture Notes in Computer Science, 4334 .
9783540690610
10.1007/978-3-540-69061-0 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Q334-342 TJ210.2-211.495
006.3