Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Research Actions at LIFO > Research Action : GDR GPL : FORWAL WorkTeam

 Site en Français



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



GDR GPL : FORWAL WorkTeam : Formalisms and Tools for Verification and Validation

Participating Members

Siva ANANTHARAMAN

Nirina ANDRIANARIVELO

Yohan BOICHUT (co-responsable)

Jean-Michel COUVREUR

Sébastien LIMET

Pierre RETY

Action's Web Page

http://www-lsr.imag.fr/GPL/GroupesDeTravail/Forwal.html