| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Vérification formelle du tri fonctionnel par tas - Etude opérationnelle
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
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)