»

Aug 06

Journal article accepted by Elsevier Journal on Computer Languages, Systems and Structures

Reed Milewicz, Rajesh Vanka, James Tuck, Daniel Quinlan, Peter Pirkelbauer: Lightweight Runtime Checking of C Programs with RTC, 2016.