Seminar

Séminaire CONVECS - Lina MARSSO

on the 9 May 2023
at 11h
Early Verification of Legal Compliance via Bounded Satisfiability Checking

Location

Inria Montbonnot - room F108
Mis à jour le 9 May 2023