Array Folds Logic

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-41540-6_13 ◽

2016 ◽

pp. 230-248 ◽

Author(s):

Przemysław Daca ◽

Thomas A. Henzinger ◽

Andrey Kupriyanov

Download Full-text