3 works on record
Verified Software : Theories, Tools, Experiments
Model Checking Software
Computer Aided Verification