Vérification formelle du tri fonctionnel par tas - Etude opérationnelle - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

Vérification formelle du tri fonctionnel par tas - Etude opérationnelle

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

Dates and versions

inria-00202834 , version 1 (08-01-2008)

Identifiers

  • HAL Id : inria-00202834 , version 1

Cite

Pascal Manoury. Vérification formelle du tri fonctionnel par tas - Etude opérationnelle. JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.107-122. ⟨inria-00202834⟩
32 View
67 Download

Share

Gmail Facebook Twitter LinkedIn More