System safety through automatic high-level code transformations: an experimental evaluation.

Ph. Cheynet, Bogdan Nicolescu, Raoul Velazco, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante

Browse the full DATE paper archive.