Documents dont l'auteur est "Sabetzadeh, Mehrdad"

Pour citer ou exporter
Nombre de documents: 1

Auteur ou autrice

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.