Abstracting Allocation: The New new thing (2006)

by N Benton
Venue:In Proceedings of Computer Science Logic (CSL ’06), volume 4207 of LNCS