[WORKSHOP] Formal Methods for Security
on the March 16, 2021
The next meeting of the working group "Méthodes Formelles" of the GdR "Sécurité Informatique" will take place on a private Zoom link, on Tuesday, March 16.
Published on February 1, 2021
