Verification of object-oriented software: The KeY approach

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Beckert, Bernhard (HerausgeberIn), Hähnle, Reiner (BerichterstatterIn), Schmitt, Peter H. (BerichterstatterIn), Leino, K. Rustan M. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2007
Schriftenreihe:	Lecture notes in computer science 4334 : Lecture notes in artificial intelligence
Schlagworte:	Computer software > Verification > Object-oriented methods (Computer science) > Java (Computer program language) > Aufsatzsammlung > Konferenzschrift > Softwareentwicklung > Objektorientierung > Programmierlogik > Formale Methode > Objektorientierte Programmierung > Softwarespezifikation > Programmverifikation > Korrektheit > Beweis > Java
Online Zugang:	Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!