José Grimm

Photo José Grimm Organisation /Organization : Inria logo sophia
Centre de recherche / Research Unit: Sophia-Antipolis Méditerranée
Équipe Projet / Project Team : MARELLE
Téléphone / Phone : (+ 33) 04 92 38 78 17
Fax / Fax : (+ 33) 04 92 38 50 60
Adresse électronique / Email : Jose.Grimm@inria.fr

Statut

Chercheur Inria.

Centre d'intérêts / Interests

Logiciels/ Software

Transparents / Slides
Des transparents sur SSH
Autour des PBs de PB
Implémentation de Bourbaki en Coq

My publications on HAL




Valid XHTML 1.0 Strict

back to the apics home page © INRIA 2003, 2004, 2005,2007 Last modified $Date: 2008/04/15 10:17:07 $