2 works on record
Verified Software. Theories, Tools, and Experiments
Verification, Model Checking, and Abstract Interpretation