On handling source code positions and local variables in LTL software model checking

Guillaume Hetier 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
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:	05 avr. 2024 11:43

Citer en APA 7:	Hetier, 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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Répertoire des publications (EndNote)Simple Metadata

Statistiques

Actions réservées au personnel