Over-Approximating Boolean Programs with Unbounded Thread Creation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Byron Cook, Daniel Kroening, Natasha Sharygina. Over-Approximating Boolean Programs with Unbounded Thread Creation. In Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings. pages 53-59, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Byron Cook' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'Natasha Sharygina' in Google

runs on WebDSL