Sophie Lathouwers, Vadim Zaytsev. Modelling program verification tools for software engineers. In Eugene Syriani, Houari A. Sahraoui, Nelly Bencomo, Manuel Wimmer, editors, Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022. pages 98-108, ACM, 2022. [doi]
Abstract is missing.