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
;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
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 |
