TY  - RPRT
TI  - Sedeve-Kit, a Specification-Driven Development Framework for Building Distributed Systems
AU  - Hua Guo
AU  - Yunhong Ji
AU  - Xuan Zhou
PY  - 2025
UR  - https://arxiv.org/abs/2509.11566
ID  - 2509.11566
ER  -