A source-to-source compiler for generating dependable software (2001)

Cached

Download Links

by Maurizio Rebaudengo , Matteo Sonza Reorda , Marco Torchiano , Massimo Violante
Citations:27 - 1 self