Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino - Beckert, Bernhard; Hahnle, Reiner; Schmitt, Peter H.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer software -- Verification; Object-oriented methods (Computer science); Java (Computer program language); Computer Science; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Software Engineering