Ewen Denney, Bernd Fischer
Annotation Inference for Safety Certification of Automatically Generated Code
ASE, 2006.
@inproceedings{ASE-2006-DenneyF,
author = "Ewen Denney and Bernd Fischer",
booktitle = "{Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2006.15",
isbn = "0-7695-2579-2",
pages = "265--268",
publisher = "{IEEE Computer Society}",
title = "{Annotation Inference for Safety Certification of Automatically Generated Code}",
year = 2006,
}