Physical Type Tracking through Minimal Source-Code Annotation - Tom Crick (University of Twente, 2014)
14th International Workshop on Automated Verification of Critical Systems (AVoCS'14)