Nick Feng, Lina Marsso
, Mehrdad Sabetzadeh et Marsha Chechik
Communication écrite (2023)
 Document en libre accès chez l'éditeur officiel |
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Un lien externe est disponible pour ce document
| ISBN: | 9783031377099 |
|---|---|
| URL de PolyPublie: | https://publications.polymtl.ca/64467/ |
| Nom de la conférence: | 35th International Conference on Computer Aided Verification (CAV 2023) |
| Lieu de la conférence: | Paris, France |
| Date(s) de la conférence: | 2023-07-17 - 2023-07-22 |
| Maison d'édition: | Springer |
| DOI: | 10.1007/978-3-031-37709-9_18 |
| URL officielle: | https://link.springer.com/chapter/10.1007/978-3-03... |
| Date du dépôt: | 10 avr. 2025 11:17 |
| Dernière modification: | 10 avr. 2025 11:17 |
| Citer en APA 7: | 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. https://link.springer.com/chapter/10.1007/978-3-031-37709-9_18 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
