Title: Verification, model checking, and abstract interpretation
Subjects: Congresses, Verification, Computer programs, Logic design, Computer science, Software engineering, Computer software