A Source-to-Source Compiler for Generating Dependable Software.

Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Marco Torchiano

Browse the full SCAM paper archive.