Title: Verification, Model Checking, and Abstract Interpretation (vol. # 3855)
Subjects: Logic design, Computer science, Software engineering, Computer programs, Congresses, Verification, Computer software, verification