 | Monter d'un niveau |
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
