Modular verification of code with SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson. Modular verification of code with SAT. In Lori L. Pollock, Mauro Pezzè, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006. pages 109-120, ACM, 2006. [doi]

This author has not been identified. Look up 'Greg Dennis' in GoogleThis author has not been identified. Look up 'Felix Sheng-Ho Chang' in GoogleThis author has not been identified. Look up 'Daniel Jackson' in Google

runs on WebDSL