@inproceedings{Proverb2022,
	author = "Sophie Lathouwers and Vadim Zaytsev",
	title = "{Modelling Program Verification Tools for Software Engineers}",
	booktitle = "{Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MoDELS)}",
	year = 2022,
	editor = "Eugene Syriani and Houari Sahraoui and Nelly Bencomo",
	pages = "98--108",
	publisher = "ACM",
	doi = "10.1145/3550355.3552426",
}