@inproceedings{DBLP:conf/sigsoft/GiacobbeKP22,
  title = "Neural termination analysis",
  author = "Mirco Giacobbe and Daniel Kroening and Julian Parsert",
  year = "2022",
  booktitle = "Proceedings of the 30th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022",
  editor = "Abhik Roychoudhury and Cristian Cadar and Miryung Kim",
  pages = "633--645",
  publisher = "{ACM}",
  url = "https://doi.org/10.1145/3540250.3549120",
  doi = "10.1145/3540250.3549120",
}