3 works on record
Program Proofs
Computer Aided Verification
Verification, Model Checking, and Abstract Interpretation
