Industrial strength refinement checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jesse D. Bingham, John Erickson, Gaurav Singh, Flemming Andersen. Industrial strength refinement checking. In Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA. pages 180-183, IEEE, 2009. [doi]

This author has not been identified. Look up 'Jesse D. Bingham' in GoogleThis author has not been identified. Look up 'John Erickson' in GoogleThis author has not been identified. Look up 'Gaurav Singh' in GoogleThis author has not been identified. Look up 'Flemming Andersen' in Google

runs on WebDSL