Formal Methods Lab
Laboratoire de mathématique.
Inde/France
Responsables
Équipes de recherche viennent de :
- Chennai Mathematical Institute
- l'Institut des sciences mathématiques de Chennai
- l'Indian Institute of Science de Bengalore.