Interface grammars for modular software model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Graham Hughes, Tevfik Bultan. Interface grammars for modular software model checking. In David S. Rosenblum, Sebastian G. Elbaum, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007. pages 39-49, ACM, 2007. [doi]

This author has not been identified. Look up 'Graham Hughes' in GoogleThis author has not been identified. Look up 'Tevfik Bultan' in Google

runs on WebDSL