- Computer Science Laboratory

Supervision : Anne DOUCET

Vérification de contraintes dans transaction imbriquées

Phd defence : 07/19/2001

Departure date : 07/19/2002

2001 Publications