Bridging Arrays and ADTs in Recursive Proofs.

Grigory Fedyukovich, Gidon Ernst

Browse the full TACAS paper archive.