Registered user since Wed 30 Nov 2016

Name: Christoph Bockisch

Affiliation: University of Twente

ECOOP 2015 Activities

• Author of Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML within the FTfJP-track in FTfJP 2015
• Author of Trace-based Debugging for Advanced-Dispatching Programming Languages within the ICOOOLPS-track in ICOOOLPS 2015
• Show activities from other conferences