Crick, T., & Donaghy, D. (2014). Physical Type Tracking through Minimal Source-Code Annotation. Proceedings of 14th International Workshop on Automated Verification of Critical Systems.
Chicago Style CitationCrick, Tom, and Dave Donaghy. "Physical Type Tracking Through Minimal Source-Code Annotation." Proceedings of 14th International Workshop On Automated Verification of Critical Systems 2014.
MLA CitationCrick, Tom, and Dave Donaghy. "Physical Type Tracking Through Minimal Source-Code Annotation." Proceedings of 14th International Workshop On Automated Verification of Critical Systems 2014.
Warning: These citations may not always be 100% accurate.