Guillaume Hétier, Hanifa Boucheneb
Communication écrite (2018)
Accéder à ce document
Lien externe
Libre accès au texte intégral chez l'éditeur officiel
Libre accès au texte intégral chez l'éditeur officielMots clés
Département:
ISBN:
9789897583209
Adresse URL de PolyPublie:
Nom de la conférence:
13th International Conference on Software Technologies (ICSOFT 2018)
Lieu de la conférence:
Porto, Portugal
Date(s) de la conférence:
2018-07-26 - 2018-07-28
Maison d'édition:
SciTePress
URL officielle:
OAI:
oai:publications.polymtl.ca:44235
ORCID
Date du dépôt:
18 avr. 2023 15:02
Dernière modification:
29 oct. 2026 11:27
Citer en APA 7:
Hétier, G., & Boucheneb, H. (juillet 2018). On handling source code positions and local variables in LTL software model checking [Communication écrite]. 13th International Conference on Software Technologies (ICSOFT 2018), Porto, Portugal. https://doi.org/10.5220/0006865706490656
Statistiques
Dimensions
