Title: Verification, model checking, and abstract interpretation
First published: 2005
Subjects: Vérification, Congresses, Verification, Logiciels, Computer programs, Congrès, Computers, congresses
LC classification: QA76.76.V47 V53  2005