Automating Separation Logic Using SMT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ruzica Piskac, Thomas Wies, Damien Zufferey. Automating Separation Logic Using 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 773-789, Springer, 2013. [doi]

This author has not been identified. Look up 'Ruzica Piskac' in GoogleThis author has not been identified. Look up 'Thomas Wies' in GoogleThis author has not been identified. Look up 'Damien Zufferey' in Google

runs on WebDSL