La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées * - Archive ouverte HAL Access content directly
Documents Associated With Scientific Events Year :

La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées *

(1) , (2) , (3, 4)
1
2
3
4
Fichier principal
Vignette du fichier
main.pdf (88.11 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02317143 , version 1 (15-10-2019)

Identifiers

  • HAL Id : hal-02317143 , version 1

Cite

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue. La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées *. 18e journées Approches Formelles dans l'Assistance au Développement de Logic (AFADL), Jun 2019, Toulouse, France. . ⟨hal-02317143⟩
39 View
70 Download

Share

Gmail Facebook Twitter LinkedIn More