Verification of Programs with Higher-Order Arrays.

Wojciech Kowalczyk, Pawel Urzyczyn

Browse the full FCT paper archive.