@misc{indiciae45096539e9bb,
  title = {Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification},
  author = {Cheng Wen and Jialun Cao and Jie Su and Zhiwu Xu and Shengchao Qin and Mengda He and Haokun Li and Shing-Chi Cheung and Cong Tian},
  year = {2024},
  url = {https://arxiv.org/abs/2404.00762},
  note = {Source identifier: 2404.00762}
}