Getting Formal Verification into Design Flow - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Arvind, Nirav Dave, Michael Katelman. Getting Formal Verification into Design Flow. In Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere, editors, FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Volume 5014 of Lecture Notes in Computer Science, pages 12-32, Springer, 2008. [doi]

This author has not been identified. Look up 'Arvind' in GoogleThis author has not been identified. Look up 'Nirav Dave' in GoogleThis author has not been identified. Look up 'Michael Katelman' in Google

runs on WebDSL