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

Type de document :
Communication dans un congrès
JFLA (Journées Francophones des Langages Applicatifs), Jan 2008, Etretat, France. pp.107-122, 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00202834
Contributeur : Sandrine Blazy <>
Soumis le : mardi 8 janvier 2008 - 16:46:37
Dernière modification le : jeudi 11 janvier 2018 - 06:17:46
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:51:40

Fichier

manoury.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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), Jan 2008, Etretat, France. pp.107-122, 2008. 〈inria-00202834〉

Partager

Métriques

Consultations de la notice

75

Téléchargements de fichiers

88