| HAL-Inria | Publications, software ... of Inria's scientists |
Notes de synthèse
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 : Wednesday, September 16, 2020 - 5:31:06 PM
Long-term archiving on: : Saturday, May 25, 2019 - 12:29:50 PM
Contributor : Martin Clochard <>
Submitted on : Sunday, February 24, 2019 - 9:30:22 PM
Last modification on : Wednesday, September 16, 2020 - 5:31:06 PM
Long-term archiving on: : Saturday, May 25, 2019 - 12:29:50 PM
File
french.pdf
Files produced by the author(s)