3 works on record
Verification, Model Checking, and Abstract Interpretation
Computer Aided Verification
2023
Verified Software. Theories, Tools and Experiments