Equipe "VAlidation, Specification et COnstruction de Programmes"
VASCO.
Contact.
Thèmes de recherche
- Le langage et la méthode B
- Langages de spécification algébrique et logique
- Programmation générique, implémentation de modules paramétrés, théorie de la modularité