Open Access 2021 | OriginalPaper | Chapter
Bridging Arrays and ADTs in Recursive Proofs
Authors : Grigory Fedyukovich, Gidon Ernst
Published in: Tools and Algorithms for the Construction and Analysis of Systems
Publisher: Springer International Publishing