Denney, Ewen and Fischer, Bernd (2006) Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). Uchitel, Sebastian and Easterbrook, Steve (eds.) 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan. 18 - 22 Sep 2006. pp. 265-268 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2006
Additional Information:
Event Dates: 18-22 September 2006
Venue - Dates:
21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, 2006-09-18 - 2006-09-22
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 263487
URI: http://eprints.soton.ac.uk/id/eprint/263487
ISBN: 0-7695-2579-2
PURE UUID: d6a0eb24-a8cb-441a-8f84-b91bd5299b63
Catalogue record
Date deposited: 18 Feb 2007
Last modified: 14 Mar 2024 07:33
Export record
Contributors
Author:
Ewen Denney
Author:
Bernd Fischer
Editor:
Sebastian Uchitel
Editor:
Steve Easterbrook
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.