TY  - RPRT
TI  - Early Verification of Legal Compliance via Bounded Satisfiability Checking
AU  - Nick Feng
AU  - Lina Marsso
AU  - Mehrdad Sabetzadeh
AU  - Marsha Chechik
PY  - 2023
UR  - https://arxiv.org/abs/2209.04052
ID  - 2209.04052
ER  -