5 works on record
Tests and Proofs
Integrated Formal Methods
Logic of Software. a Tasting Menu of Formal Methods
Deductive Software Verification - the KeY Book
2016
Deductive Software Verification : Future Perspectives
