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
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〉
