Guillaume Hétier et Hanifa Boucheneb
Communication écrite (2018)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| ISBN: | 9789897583209 |
| URL de PolyPublie: | https://publications.polymtl.ca/44235/ |
| 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 |
| DOI: | 10.5220/0006865706490656 |
| URL officielle: | https://doi.org/10.5220/0006865706490656 |
| Date du dépôt: | 18 avr. 2023 15:02 |
| Dernière modification: | 08 avr. 2025 12:23 |
| 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
Actions réservées au personnel
|
Afficher document |
