![](/img/cover-not-exists.png)
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP
Sheng, Feng, Zhu, Huibiao, He, Jifeng, Yang, Zongyuan, Bowen, Jonathan P.Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-020-00513-4
Date:
June, 2020
File:
PDF, 747 KB
2020