Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi. A Flexible Framework for Program Evolution and Verification. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019. pages 177-189, SciTePress, 2019. [doi]
Abstract is missing.