Séminaire

Séminaire CONVECS - Lina MARSSO

le 9 mai 2023
à 11h
Early Verification of Legal Compliance via Bounded Satisfiability Checking

Localisation

Inria Montbonnot - salle F108
Mis à jour le 9 mai 2023