Professeure, Université des Sciences et Technologies de Lille ... Projet de
recherche multi-thématique : basé sur la coopération active d'équipes de ...
Bases de données sécurisées : 1 projet retenu. CASC ...... sécurité et par rapport
aux propriétés énoncées et de fonder la conception sur la ...... Types relationnels
en OCaml. 
