par Galloway, Andy;Lüttgen, Gerald;Mühlberg, Jan Tobias
;Siminiceanu, Radu I.
Référence 10th International Conference, VMCAI 2009(January 18-20, 2009: Savannah, GA, USA), Verification, Model Checking, and Abstract Interpretation, Lecture notes in computer science (5403), page (74–88)
Publication Publié, 2009

Référence 10th International Conference, VMCAI 2009(January 18-20, 2009: Savannah, GA, USA), Verification, Model Checking, and Abstract Interpretation, Lecture notes in computer science (5403), page (74–88)
Publication Publié, 2009
Publication dans des actes
Titre: |
|
Auteur: | Galloway, Andy; Lüttgen, Gerald; Mühlberg, Jan Tobias; Siminiceanu, Radu I. |
Informations sur la publication: | 10th International Conference, VMCAI 2009(January 18-20, 2009: Savannah, GA, USA), Verification, Model Checking, and Abstract Interpretation, Lecture notes in computer science (5403), page (74–88) |
Statut de publication: | Publié, 2009 |
Sujet CREF: | Informatique générale |
Langue: | Anglais |
Identificateurs: | urn:issn:0302-9743 |
info:doi/10.1007/978-3-540-93900-9_10 | |
9783540938996 |