@ARTICLE{DelahayeJaumePrevosto2005,
AUTHOR = {Delahaye, David and Jaume, Mathieu and Prevosto, Virgile},
TITLE = {Coq, un outil pour l'enseignement},
JOURNAL = {Technique et Science Informatiques},
PUBLISHER = {Hermès Science},
YEAR = {2005},
NUMBER = {9},
VOLUME = {24},
PAGES = {1139--1160},
}
Entry last modified by Christine Kiesel, 01/28/2008
Edit History (please click the blue arrow to see the details)
| Editor(s)
Uwe Waldmann | Created
04/22/2005 01:44:56 PM |
Revisions
3.
2.
1.
0.
| Editor(s)
Christine Kiesel
Virgile Prevosto
Virgile Prevosto
Uwe Waldmann
| Edit Dates
25.04.2006 20:13:53
11/18/2005 01:09:30 PM
10/26/2005 03:43:44 PM
04/22/2005 01:44:56 PM
|