Ph. Cheynet, B. Nicolescu, Raoul Velazco, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante
System safety through automatic high-level code transformations: an experimental evaluation
DATE, 2001.
@inproceedings{DATE-2001-CheynetNVRRV,
author = "Ph. Cheynet and B. Nicolescu and Raoul Velazco and Maurizio Rebaudengo and Matteo Sonza Reorda and Massimo Violante",
booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
doi = "10.1145/367072.367226",
isbn = "0-7695-0993-2",
pages = "297--301",
publisher = "{ACM}",
title = "{System safety through automatic high-level code transformations: an experimental evaluation}",
year = 2001,
}