@article{ProVerB2025,
	author = "Sophie Lathouwers and Yujie Liu and Vadim Zaytsev",
	title = "{Extract, Model, Refine: Improved Modelling of Program Verification Tools through Data Enrichment}",
	journal = "{Special Issue in the Journal of Software and Systems Modeling on MoDELS 2022 (SoSyM)}",
	year = 2025,
	doi = "10.1007/s10270-024-01232-7",
	issn = "1619-1374",
}