Zhao, J., Zhao, Y., Yao, P., Zeng, F., Zhan, B., & Ren, K. (2024). KBX: Verified Model Synchronization via Formal Bidirectional Transformation.
Chicago-Zitierstil (17. Ausg.)Zhao, Jianhong, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, und Kui Ren. KBX: Verified Model Synchronization via Formal Bidirectional Transformation. 2024.
MLA-Zitierstil (9. Ausg.)Zhao, Jianhong, et al. KBX: Verified Model Synchronization via Formal Bidirectional Transformation. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.