A source-to-source compiler for generating dependable software
Rebaudengo, M ; Reorda, MS ; - ASI Sponsor
Jan - 2001

journal : Code Analysis and
type: Article Journal

Abstract

keywords :