Communication écrite (2010)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
ISBN:
9781424486298
Adresse URL de PolyPublie:
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
URL officielle:
OAI:
oai:publications.polymtl.ca:17986
ORCID
Date du dépôt:
18 avr. 2023 15:13
Dernière modification:
14 oct. 2026 11:20
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
