Springer
F. Arbab (Farhad) , M. Sirjani (Marjan)
Lecture Notes in Computer Science
International Conference on Foundations of Software Engineering
Computer Security

Rot, J., de Boer, F., & Sirjani, M. (2013). Unbounded allocation in bounded heaps. In F. Arbab & M. Sirjani (Eds.), Fundamentals of software engineering (pp. 1–16). Springer.