3 works on record
Computer Aided Verification
Runtime Verification
Verified Software. Theories, Tools and Experiments