Skip to Main content Skip to Navigation
Conference papers

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

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00202834
Contributor : Sandrine Blazy <>
Submitted on : Tuesday, January 8, 2008 - 4:46:37 PM
Last modification on : Friday, March 27, 2020 - 3:23:23 AM
Long-term archiving on: : Thursday, September 27, 2012 - 1:51:40 PM

File

manoury.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00202834, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

103

Files downloads

152