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

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt, editors, Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino. Volume 4334 of Lecture Notes in Computer Science, Springer, 2007. [doi]

Abstract

Abstract is missing.

Table of Contents