Documents publiés en "2018"
Monter d'un niveauNombre de documents: 1
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
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