research
∙
05/17/2022
Formal verification of an industrial UML-like model using mCRL2 (extended version)
Low-code development platforms are gaining popularity. Essentially, such...
research
∙
01/15/2021