Verification of object-oriented software the KeY approach

Saved in:

Bibliographic Details
Other Authors:	Beckert, Bernhard, Hahnle, Reiner, Schmitt, P. H. 1948- Peter H.
Format:	Unknown
Published:	Berlin New York Springer 2007
Series:	Lecture notes in computer science 4334 Lecture notes in computer science Lecture notes in artificial intelligence
Subjects:	Computer software > Verification Java (Computer program language) > Verification Object-oriented methods (Computer science)
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet