Nick Feng, Lina Marsso
, Mehrdad Sabetzadeh, Marsha Chechik
Communication écrite (2023)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Accéder à ce document
Lien externe
Libre accès au texte intégral chez l'éditeur officiel
Libre accès au texte intégral chez l'éditeur officiel
ISBN:
9783031377099
Adresse URL de PolyPublie:
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
URL officielle:
OAI:
oai:publications.polymtl.ca:64467
ORCID
Date du dépôt:
10 avr. 2025 11:17
Dernière modification:
14 oct. 2026 14:25
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
