1 |
| Ianni, Giovambattista (ed.) |
| |
| | 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 |
| Jeusfeld, Manfred A. (ed.) |
| |
3 |
| Jouannaud, Jean-Pierre (ed.) |
| |