Calcul, Algorithmes, Programmes et Preuves (CAPP)
Contact principal : Simon Perdrix Autres contacts : Mehdi Mhalla
Description des activités de recherche : We are members of the CAPP (Calculi, Algorithms, Programs, Proofs) group, in the (...)
Accueil > Les LaboratoiresLaboratoire d’Informatique de Grenoble (LIG)
Laboratoire d’Informatique de Grenoble (LIG) [[blueviolet]WWW]
UMR 5217 du CNRS / INRIA / Université Joseph Fourier, Grenoble, France