Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos. Model-checking legal contracts with SymboleoPC. In Eugene Syriani, Houari A. Sahraoui, Nelly Bencomo, Manuel Wimmer, editors, Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022. pages 278-288, ACM, 2022. [doi]
Abstract is missing.