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]
No references recorded for this publication.
No citations of this publication recorded.