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

Pascal Manoury

Conference Papers Year : 2008

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

(1)

1

Pascal Manoury

Function : Author

Preuves, Programmes et Systèmes

Domains

Computer Science [cs] Programming Languages [cs.PL]

Fichier principal

manoury.pdf (486.98 Ko)

Origin : Files produced by the author(s)

Sandrine Blazy : Connect in order to contact the contributor

https://hal.inria.fr/inria-00202834

Submitted on : Tuesday, January 8, 2008-4:46:37 PM

Last modification on : Saturday, June 25, 2022-8:47:48 PM

Long-term archiving on: Thursday, September 27, 2012-1:51:40 PM

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⟩

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share