Michael W. Whalen, Mats Per Erik Heimdahl
An Approach to Automatic Code Generation for Safety-Critical Systems
ASE, 1999.
@inproceedings{ASE-1999-WhalenH,
author = "Michael W. Whalen and Mats Per Erik Heimdahl",
booktitle = "{Proceedings of the 14th IEEE International Conference on Automated Software Engineering}",
ee = "http://computer.org/proceedings/ase/0415/04150315abs.htm",
pages = "315--318",
publisher = "{IEEE Computer Society}",
title = "{An Approach to Automatic Code Generation for Safety-Critical Systems}",
year = 1999,
}