Title: Verification, Model Checking, and Abstract Interpretation
Subjects: Logic design, Computer science, Software engineering, Computer programs, Congresses, Verification