Abstracting Allocation: The New new Thing (2006)

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