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). In, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, 18 - 22 Sep 2006. IEEE Computer Society, 265-268.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (100Kb) |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: 18-22 September 2006 |
| ISBNs: | 0769525792 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 263487 |
| Date Deposited: | 18 Feb 2007 |
| Last Modified: | 01 Mar 2012 20:55 |
| Contributors: | Denney, Ewen (Author) Fischer, Bernd (Author) Uchitel, Sebastian (Editor) Easterbrook, Steve (Editor) |
| Date: | 2006 |
| Additional Information: | Event Dates: 18-22 September 2006 |
| Status: | Published |
| Publisher: | IEEE Computer Society |
| Further Information: | Google Scholar |
| ISI Citation Count: | 0 |
| URI: | http://eprints.soton.ac.uk/id/eprint/263487 |
Actions (login required)
 |
View Item |
