@misc{indiciae46493b98def5,
  title = {KBX: Verified Model Synchronization via Formal Bidirectional Transformation},
  author = {Jianhong Zhao and Yongwang Zhao and Peisen Yao and Fanlang Zeng and Bohua Zhan and Kui Ren},
  year = {2024},
  url = {https://arxiv.org/abs/2404.18771},
  note = {Source identifier: 2404.18771}
}