Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

• Main Author: Beckert, Bernhard
• Other Authors: HΓ€hnle, Reiner, Schmitt, Peter H.
• Format: Electronic Kit Book
• Language: English
• Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
• Series: Lecture Notes in Computer Science 4334
• Subjects: Logic design; Computer science; Software engineering; Computer Science; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Software Engineering; Τεχνητή νοημοσύνη