Parvizimosaed, A., University, M., 2022. Symboleo: Specification and Verification of Legal Contracts.. https://doi.org/10.20381/ruor-28399