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]
@inproceedings{AzzopardiCP20a,
title = {CLARVA: Model-based Residual Verification of Java Programs},
author = {Shaun Azzopardi and Christian Colombo and Gordon J. Pace},
year = {2020},
doi = {10.5220/0008966603520359},
url = {https://doi.org/10.5220/0008966603520359},
researchr = {https://researchr.org/publication/AzzopardiCP20a},
cites = {0},
citedby = {0},
pages = {352-359},
booktitle = {Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020},
editor = {Slimane Hammoudi and Luís Ferreira Pires and Bran Selic},
publisher = {SCITEPRESS},
isbn = {978-989-758-400-8},
}