Abstracting Allocation: The New new Thing (2006)

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