Documents dont l'auteur est "Sabetzadeh, Mehrdad"

Pour citer ou exporter
Grouper par: Rôle | Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Nombre de documents: 1

F

Feng, N., Marsso, L., Sabetzadeh, M., & Chechik, M. (juillet 2023). Early Verification of Legal Compliance via Bounded Satisfiability Checking [Communication écrite]. 35th International Conference on Computer Aided Verification (CAV 2023), Paris, France. Lien externe

Liste produite: Thu Oct 15 05:43:19 2026 EDT.