A source-to-source compiler for generating dependable software

Author(s):  
M. Rebaudengo ◽  
M.S. Reorda ◽  
M. Violante ◽  
M. Torchiano
Sign in / Sign up

Export Citation Format

Share Document