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