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


Denney, Ewen and Fischer, Bernd, (2006) Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract) Uchitel, Sebastian and Easterbrook, Steve (eds.) At 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Japan. 18 - 22 Sep 2006. , pp. 265-268.

Download

[img] PDF 130_denney_ewen.pdf - Other
Download (103kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 18-22 September 2006
Venue - Dates: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Japan, 2006-09-18 - 2006-09-22
Organisations: Electronics & Computer Science
ePrint ID: 263487
Date :
Date Event
2006Published
Date Deposited: 18 Feb 2007
Last Modified: 17 Apr 2017 19:52
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/263487

Actions (login required)

View Item View Item