| HAL-Inria | Publications, software ... of Inria's scientists |
Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance)
Cited literature [14 references]
https://hal.inria.fr/hal-02047458
Contributor : Martin Clochard <>
Submitted on : Sunday, February 24, 2019 - 9:30:22 PM
Last modification on : Monday, December 9, 2019 - 5:24:07 PM
Document(s) archivé(s) le : Saturday, May 25, 2019 - 12:29:50 PM
Contributor : Martin Clochard <>
Submitted on : Sunday, February 24, 2019 - 9:30:22 PM
Last modification on : Monday, December 9, 2019 - 5:24:07 PM
Document(s) archivé(s) le : Saturday, May 25, 2019 - 12:29:50 PM
File
french.pdf
Files produced by the author(s)