A source-to-source compiler for generating dependable software

Proceedings First IEEE International Workshop on Source Code Analysis and Manipulation SCAM-0 ◽

10.1109/scam.2001.972664 ◽

2002 ◽

Cited By ~ 46

Author(s):

M. Rebaudengo ◽

M.S. Reorda ◽

M. Violante ◽

M. Torchiano

Download Full-text