<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Hetier, Guillaume"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : H
Nombre de documents: 1

H

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. Lien externe

Liste produite: Fri Apr 26 04:30:19 2024 EDT.
PolyPublie est le dépôt institutionnel de Polytechnique Montréal.
Site développé à l'aide du logiciel libre EPrints.