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
Martin Clochard. Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance). 2019. ⟨hal-02047458⟩