@misc{indiciaecbf6900990de,
  title = {Typing Requirement Model as Coroutines},
  author = {Qiqi Gu and Wei Ke},
  year = {2024},
  doi = {10.1109/access.2024.3352115},
  url = {https://arxiv.org/abs/2405.10060},
  note = {Source identifier: 2405.10060}
}