On the Automatic Verification of Non-Standard Measures of Consistency - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christie Bolton, Gavin Lowe. On the Automatic Verification of Non-Standard Measures of Consistency. In Joseph M. Morris, Benjamin Aziz, Frédéric Oehl, editors, 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003. Workshops in Computing, BCS, 2003. [doi]

This author has not been identified. Look up 'Christie Bolton' in GoogleThis author has not been identified. Look up 'Gavin Lowe' in Google

runs on WebDSL