Using formal methods to validate C programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

C. Antoine, Patrick Baudin, J. M. Collart, Jacques Raguideau, A. Trotin. Using formal methods to validate C programs. In 5th International Symposium on Software Reliability Engineering, ISSRE 1994, Monterey, CA, USA, November 6-9, 1994. pages 252-258, IEEE, 1994. [doi]

This author has not been identified. Look up 'C. Antoine' in GoogleThis author has not been identified. Look up 'Patrick Baudin' in GoogleThis author has not been identified. Look up 'J. M. Collart' in GoogleThis author has not been identified. Look up 'Jacques Raguideau' in GoogleThis author has not been identified. Look up 'A. Trotin' in Google

runs on WebDSL