Array Folds Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov. Array Folds Logic. In Swarat Chaudhuri, Azadeh Farzan, editors, Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II. Volume 9780 of Lecture Notes in Computer Science, pages 230-248, Springer, 2016. [doi]

This author has not been identified. Look up 'Przemyslaw Daca' in GoogleThis author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Andrey Kupriyanov' in Google

runs on WebDSL