Finite Model Finding in SMT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic. Finite Model Finding in SMT. In Natasha Sharygina, Helmut Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Volume 8044 of Lecture Notes in Computer Science, pages 640-655, Springer, 2013. [doi]

This author has not been identified. Look up 'Andrew Reynolds' in GoogleThis author has not been identified. Look up 'Cesare Tinelli' in GoogleThis author has not been identified. Look up 'Amit Goel' in GoogleThis author has not been identified. Look up 'Sava Krstic' in Google

runs on WebDSL