@InProceedings{	  demeyer.hahnle.ea:automating:b,
  author	= {Serge Demeyer and Reiner H\"ahnle and Heiko Mantel},
  title		= {Automating Software Re-Engineering Introduction to the
		  ISoLA 2024 Track},
  booktitle	= {International Symposium On Leveraging Applications of
		  Formal Methods, Verification and Validation (ISoLA)},
  year		= 2024,
  url		= {https://doi.org/10.1007/978-3-031-75387-9_2}
}