Title: Verification, model checking, and abstract interpretation
First published: 2008
Subjects: Congresses, Verification, Computer programs
LC classification: QA76.76.V47 V53 2008