CV court avec publications (2006)
Bilan du semestre de CRCT (2006)
La Balbulette
(ou Click'n'Prove)
Journée QSL
Preuve de Programmes avec Pointeurs/ Proving Pointer Programs
(26/02/04)
ZB2002
,
ZB2003
,
ZB2005
,
B2007
La page B
AFADL04
,
AFADL06
Journée QSL
La Méthode B
(28/02/02)
Journée QSL
L'ingénierie formelle des systèmes
(02/04/03)
FDL'02
Journée du 14 juin 2002 au CNAM (voir page B)
L'opération QSL
AdHoc
This document was translated from L
A
T
E
X by
H
E
V
E
A and H
A
C
H
A
.
Address
LORIA
Campus scientifique
B.P. 239
54506 Vandoeuvre-lès-Nancy CEDEX
France
Phone: +33 (0)3.54.95.84.98
Dominique Cansell
