Christoph Bockisch, Gabriele Taentzer, Nebras Nassar, Lukas Wydra. Java Bytecode Verification with OCL Why, How and Whenc. Journal of Object Technology, 19(3), 2020. [doi]
@article{BockischTNW20,
title = {Java Bytecode Verification with OCL Why, How and Whenc},
author = {Christoph Bockisch and Gabriele Taentzer and Nebras Nassar and Lukas Wydra},
year = {2020},
doi = {10.5381/jot.2020.19.3.a13},
url = {https://doi.org/10.5381/jot.2020.19.3.a13},
researchr = {https://researchr.org/publication/BockischTNW20},
cites = {0},
citedby = {0},
journal = {Journal of Object Technology},
volume = {19},
number = {3},
}