Thorough Checking Revisited - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik. Thorough Checking Revisited. In Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings. pages 106-116, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Shiva Nejati' in GoogleThis author has not been identified. Look up 'Mihaela Gheorghiu' in GoogleThis author has not been identified. Look up 'Marsha Chechik' in Google

runs on WebDSL