Articles matching “Taentzer”
- Christoph Bockisch, Gabriele Taentzer, Nebras Nassar, Lukas Wydra, Java Bytecode Verification with OCL Why, How and Whenc, pp. 3:1-16, PDF, DOI. Volume 19, no. 3 (October 2020)
- Stefan John, Alexandru Burdusel, Robert Bill, Daniel Strùˆber, Gabriele Taentzer, Steffen Zschaler, Manuel Wimmer, Searching for Optimal Models: Comparing Two Encoding Approaches, pp. 6:1-22, PDF, DOI. Volume 18, no. 3 (July 2019)