Prevosto, Virgile Programming Logics, MPI for Informatics, Max Planck Society;
Dubois, C., Jaume, M., Pons, O., & Prevosto, V. (2004). L'atelier FOCAL. In Actes du 6ème Atelier sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2004) (pp. 321-324). Besançon, France: Université de Franche-Comté.