Additional Metadata
THEME Software (theme 1)
Publisher Springer
Editor F. Arbab (Farhad) , M. Sirjani (Marjan)
Series Lecture Notes in Computer Science
Conference International Conference on Foundations of Software Engineering
Rot, J.C, de Boer, F.S, & Sirjani, M. (2013). Unbounded allocation in bounded heaps. In F Arbab & M Sirjani (Eds.), Fundamentals of software engineering (pp. 1–16). Springer.