Shaun Azzopardi, Christian Colombo, Gordon J. Pace. CLARVA: Model-based Residual Verification of Java Programs. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020. pages 352-359, SCITEPRESS, 2020. [doi]
Abstract is missing.