Heap bounded assembly language (0)

by D Aspinall, A Compagnoni
Venue:Journal of Automated Reasoning