Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract)

Ewen Denney, Bernd Fischer. Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). In 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan. pages 265-268, IEEE Computer Society, 2006. [doi]

Abstract

Abstract is missing.