Olaf Owe, Elahe Fazeldehkordi, Jia-Chun Lin. A Framework for Flexible Program Evolution and Verification of Distributed Systems. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Model-Driven Engineering and Software Development - 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers. Volume 1161 of Communications in Computer and Information Science, pages 320-349, Springer, 2019. [doi]
Abstract is missing.