Art der Publikation: Beitrag in Sammelwerk

Towards Extending the Validation Possibilities of ADOxx with Alloy

Autor(en):
De Kinderen, Sybren; Ma, Qin; Kaczmarek-Heß, Monika
Herausgeber:
Springer
Titel des Sammelbands:
Proceedings of the 2020 Conference on the Practice of Enterprise Modeling
Verlag:
Springer
Veröffentlichung:
2020
Zitation:
Download BibTeX