3 works on record
Logic of Software. a Tasting Menu of Formal Methods
Deductive Software Verification - the KeY Book
2016
Deductive Software Verification : Future Perspectives