La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées * - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Documents Associated With Scientific Events Year : 2019

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

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⟩
44 View
89 Download

Share

Gmail Facebook X LinkedIn More