Communication écrite (2010)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| ISBN: | 9781424486298 |
| URL de PolyPublie: | https://publications.polymtl.ca/17986/ |
| Nom de la conférence: | IEEE 26th International Conference on Software Maintenance (ICSM 2010) |
| Lieu de la conférence: | Timisoara, Romania |
| Date(s) de la conférence: | 2010-09-12 - 2010-09-18 |
| Maison d'édition: | Institute of Electrical and Electronics Engineers |
| DOI: | 10.1109/icsm.2010.5609537 |
| URL officielle: | https://doi.org/10.1109/icsm.2010.5609537 |
| Date du dépôt: | 18 avr. 2023 15:13 |
| Dernière modification: | 25 sept. 2024 15:55 |
| Citer en APA 7: | Letarte, D. (septembre 2010). Conversion of fast inter-procedural static analysis to model checking [Communication écrite]. IEEE 26th International Conference on Software Maintenance (ICSM 2010), Timisoara, Romania. https://doi.org/10.1109/icsm.2010.5609537 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
