Login / Signup
Lukas Wydra
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Garbage Collection
Query Optimization
Java Bytecode
Efficient Execution
Top Venues
J. Object Technol.
</>
Publications
</>
Christoph Bockisch
,
Gabriele Taentzer
,
Nebras Nassar
,
Lukas Wydra
Java Bytecode Verification with OCL Why, How and Whenc.
J. Object Technol.
19 (3) (2020)