@misc{https://doi.org/10.34727/2024/isbn.978-3-85448-065-516,
  doi = {10.34727/2024/ISBN.978-3-85448-065-5_16},
  url = {https://repositum.tuwien.at/handle/20.500.12708/200783},
  author = {Kamath,  Adharsh and Mohammed,  Nausheen and Senthilnathan,  Aditya and Chakraborty,  Saikat and Deligiannis,  Pantazis and Lahiri,  Shuvendu K. and Lal,  Akash and Rastogi,  Aseem and Roy,  Subhajit and Sharma,  Rahul},
  keywords = {formale Methoden,  formal methods},
  language = {en},
  title = {Leveraging LLMs for Program Verification},
  publisher = {TU Wien},
  year = {2024},
  copyright = {Creative Commons Attribution 4.0 International}
}