Abstracting Allocation: The New new Thing (2006)

by Nick Benton
Venue:In Computer Science Logic
Citations:19 - 6 self