Publications

Type of Publication: Article in Collected Edition

Towards Extending the Validation Possibilities of ADOxx with Alloy

Author(s):
De Kinderen, Sybren; Ma, Qin; Kaczmarek-Heß, Monika
Editor:
Springer
Title of Anthology:
Proceedings of the 2020 Conference on the Practice of Enterprise Modeling
Publisher:
Springer
Publication Date:
2020
Citation:
Download BibTeX