Un mécanisme de preuve par réflexion pour Why3 et son application aux algorithmes de GMP - Laboratoire Méthodes Formelles Access content directly
Conference Papers Year : 2019

Un mécanisme de preuve par réflexion pour Why3 et son application aux algorithmes de GMP

Fichier principal
Vignette du fichier
main.pdf (443.94 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01943010 , version 1 (03-12-2018)

Identifiers

  • HAL Id : hal-01943010 , version 1

Cite

Raphaël Rieu-Helft. Un mécanisme de preuve par réflexion pour Why3 et son application aux algorithmes de GMP. JFLA 2019 - 30èmes Journées Francophones des Langages Applicatifs, Jan 2019, Rousses, France. ⟨hal-01943010⟩
130 View
174 Download

Share

Gmail Facebook X LinkedIn More