Cite this
Email this
Export Record
Save to List
Order a print copy

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

Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including who...

Full description

Saved in:
Bibliographic Details
Other Authors: Beckert, Bernhard (Editor)
Hähnle, Reiner (Editor)
Schmitt, Peter H (Editor)
Corporate Author: SpringerLink (online služba)  
Format: eBook
Language:English
Published: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2007
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-540-69061-0
9783540689775
Subjects:
Online Access:Plný text
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image

Internet

Plný text
Status Sublibrary Description Location LCC Call number Old Call number