Documents publiés en "2018"
Monter d'un niveauNombre de documents: 1
Département de génie informatique et génie logiciel
Hétier, G. (2018). Étendre la spécification de programmes C concurrents et les vérifier par une transformation de source à source [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible