3 works on record
Verification, Model Checking, and Abstract Interpretation
Networked Systems
2024
Computer Aided Verification