Erata, F., Goknil, A., Kurtev, I., & Tekinerdogan, B. (2024). AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning.
Chicago-Zitierstil (17. Ausg.)Erata, Ferhat, Arda Goknil, Ivan Kurtev, und Bedir Tekinerdogan. AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning. 2024.
MLA-Zitierstil (9. Ausg.)Erata, Ferhat, et al. AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.