Java Bytecode Verification with OCL Why, How and Whenc - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Christoph Bockisch

Look up 'Christoph Bockisch' in GoogleThis author has not been identified. It may be one of the following persons:

Gabriele Taentzer

Look up 'Gabriele Taentzer' in GoogleThis author has not been identified. Look up 'Nebras Nassar' in GoogleThis author has not been identified. Look up 'Lukas Wydra' in Google

runs on WebDSL