TY  - RPRT
TI  - KBX: Verified Model Synchronization via Formal Bidirectional Transformation
AU  - Jianhong Zhao
AU  - Yongwang Zhao
AU  - Peisen Yao
AU  - Fanlang Zeng
AU  - Bohua Zhan
AU  - Kui Ren
PY  - 2024
UR  - https://arxiv.org/abs/2404.18771
ID  - 2404.18771
ER  -