Laboratoire de Recherche en Informatique

Mme LONGUET Delphine

		Maître de Conférences Université Paris-Sud Vérification d'Algorithmes, Langages et Systèmes Tel : +33 (0)1 69 15 65 42 Fax : Bureau : 63/PCRI-S Page personnelle : http://www.lri.fr/~longuet Courrier électronique : Delphine.Longuet@lri.fr
Activités de recherche - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve - Test formel basé sur les modèles Publications Responsabilités administratives - Membre de la commission Web Collaborations - LSV, ENS Cachan Participations à des contrats - Paral-ITP - DATE - AMSUD