Verification of object-oriented software [electronic resource] : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino.

Saved in:

Bibliographic Details
Published:	Berlin : Springer, c2007.
Online Access:	Connect to electronic resource
Other Authors:	Beckert, Bernhard Hähnle, Reiner Schmitt, P. H. (Peter H.), 1948-
Series:	Lecture notes in computer science ; 4334 Lecture notes in computer science. Lecture notes in artificial intelligence
Subjects:	Computer software > Verification. Object-oriented methods (Computer science) Java (Computer program language)
Format:	Electronic eBook

Online Access

Connect to electronic resource