| 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 Connect in order to contact the contributor
Submitted on : Sunday, February 24, 2019 - 9:30:22 PM
Last modification on : Thursday, July 8, 2021 - 3:47:02 AM
Long-term archiving on: : Saturday, May 25, 2019 - 12:29:50 PM
Contributor : Martin Clochard Connect in order to contact the contributor
Submitted on : Sunday, February 24, 2019 - 9:30:22 PM
Last modification on : Thursday, July 8, 2021 - 3:47:02 AM
Long-term archiving on: : Saturday, May 25, 2019 - 12:29:50 PM
File
french.pdf
Files produced by the author(s)