CAVEAT : A Tool for Software Validation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, N. Williams. CAVEAT : A Tool for Software Validation. In 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings. pages 537-537, IEEE Computer Society, 2002. [doi]

This author has not been identified. Look up 'Patrick Baudin' in GoogleThis author has not been identified. Look up 'Anne Pacalet' in GoogleThis author has not been identified. Look up 'Jacques Raguideau' in GoogleThis author has not been identified. Look up 'Dominique Schoen' in GoogleThis author has not been identified. Look up 'N. Williams' in Google

runs on WebDSL