Historique de fiche de formulaire

Version

Date

Utilisateur

ID du Champ

Champ

Difference

Equipe

VALS ~~(ForTesSE)~~

VALS

Responsable

B. ~~Wolff~~

E. CONTEJEAN

Informations-Page WEB

	[http://www.lri.fr/equipe.php?eq=10\|Site WEB LRI]		[http://www.lri.fr/equipe.php?eq=10\|Site WEB LRI]
-	ex ~~DorTesSE~~	+	ex ForTesSE

Equipe

ForTesSE

VALS (ForTesSE)

Informations-Page WEB

	[http://www.lri.fr/equipe.php?eq=10\|Site WEB LRI]		[http://www.lri.fr/equipe.php?eq=10\|Site WEB LRI]
		+	ex DorTesSE

Description

~~Test Formel~~ et ~~Exploration de~~ Systèmes

Vérification d'Algorithmes, Langages et Systèmes

Directrice
Nicole Bidoit
Assistante
Stéphanie Druetta
Conseiller aux thèses
Dominique Gouyou-Beauchamps

ED 427 - Université Paris-Sud
UFR Sciences Orsay
Bat 650 - aile nord - 417
Tel : 01 69 15 63 19
Fax : 01 69 15 63 87
courriel: ed-info à lri.fr