TAP 2021 is co-chaired by F. Loulergue
Month: December 2020
[Dec. 2020] Phd Defense : Salwa SOUAF, December 15th
09H30 : Methodes formelles et Sécurité en informatique en nuages
Languages, Models and Verification
09H30 : Methodes formelles et Sécurité en informatique en nuages