Early Verification of Legal Compliance via Bounded Satisfiability Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik. Early Verification of Legal Compliance via Bounded Satisfiability Checking. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Volume 13966 of Lecture Notes in Computer Science, pages 374-396, Springer, 2023. [doi]

This author has not been identified. Look up 'Nick Feng' in GoogleThis author has not been identified. Look up 'Lina Marsso' in GoogleThis author has not been identified. Look up 'Mehrdad Sabetzadeh' in GoogleThis author has not been identified. Look up 'Marsha Chechik' in Google

runs on WebDSL