Sriram K. Rajamani

Computer Aided Verification
Model Checking Software
Verified Software : Theories, Tools, Experiments