Title: Deductive Software Verification - the KeY Book
Subjects: Computer software