Automated Validation of Class Invariants in C ++ Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tanton H. Gibbs, Brian A. Malloy, James F. Power. Automated Validation of Class Invariants in C ++ Applications. In 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK. pages 205, IEEE Computer Society, 2002. [doi]

This author has not been identified. Look up 'Tanton H. Gibbs' in GoogleThis author has not been identified. Look up 'Brian A. Malloy' in GoogleThis author has not been identified. Look up 'James F. Power' in Google

runs on WebDSL