par Hunter, Paul William 
;Pérez, Guillermo G.A.;Raskin, Jean-François
Référence Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, Springer, Vol. 9364, page (429-445)
Publication Publié, 2015
;Pérez, Guillermo G.A.;Raskin, Jean-François Référence Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, Springer, Vol. 9364, page (429-445)
Publication Publié, 2015
Publication dans des actes
| Titre: |
|
| Auteur: | Hunter, Paul William; Pérez, Guillermo G.A.; Raskin, Jean-François |
| Informations sur la publication: | Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, Springer, Vol. 9364, page (429-445) |
| Statut de publication: | Publié, 2015 |
| series: | Lecture Notes in Computer Science |
| Sujet CREF: | Sciences exactes et naturelles |
| Langue: | Anglais |
| Identificateurs: | info:doi/10.1007/978-3-319-24953-7_31 |
| https://doi.org/10.1007/978-3-319-24953-7_31 |
