@INPROCEEDINGS{TeuberNSE2025,
  author={Teuber, Samuel and Beckert, Bernhard},
  booktitle={2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE)}, 
  title={Next Steps in LLM-Supported Java Verification}, 
  year={2025},
  volume={},
  number={},
  pages={1-4},
  doi={10.1109/NSE66660.2025.00007}
}