Skip to content

Runtime Correctness Checking for Emerging Programming Paradigms.

Joachim Protze, Christian Terboven, Matthias S. Mller, Serge G. Petiton, Nahid Emad, Hitoshi Murai, Taisuke Boku

VenueASC
Year2017
ProceedingsCORRECTNESS@SC

Browse the full SC paper archive.