CVC4 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli. CVC4. In Ganesh Gopalakrishnan, Shaz Qadeer, editors, Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. Volume 6806 of Lecture Notes in Computer Science, pages 171-177, Springer, 2011. [doi]

This author has not been identified. Look up 'Clark Barrett' in GoogleThis author has not been identified. Look up 'Christopher L. Conway' in GoogleThis author has not been identified. Look up 'Morgan Deters' in GoogleThis author has not been identified. Look up 'Liana Hadarean' in GoogleThis author has not been identified. Look up 'Dejan Jovanovic' in GoogleThis author has not been identified. Look up 'Tim King' in GoogleThis author has not been identified. Look up 'Andrew Reynolds' in GoogleThis author has not been identified. Look up 'Cesare Tinelli' in Google