Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|---|
4 |
| |||||||||
4 |
| |||||||||
23 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
2005 | [Delahaye, David] [Jaume, Mathieu] Prevosto, Virgile | Coq, un outil pour l'enseignement In: Technique et Science Informatiques [24], 1139-1160 | Journal Article | |||||||
2004 | [Dubois, Catherine] [Jaume, Mathieu] [Pons, Olivier] Prevosto, Virgile | [Juilland, Jacques] | L'atelier FOCAL In: Actes du 6ème Atelier sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2004), 321-324 | Proceedings Article | ||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
3 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
4 |
|