@misc{indiciaecbbbef4206a0,
  title = {Sedeve-Kit, a Specification-Driven Development Framework for Building Distributed Systems},
  author = {Hua Guo and Yunhong Ji and Xuan Zhou},
  year = {2025},
  url = {https://arxiv.org/abs/2509.11566},
  note = {Source identifier: 2509.11566}
}