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