2013
Unbounded allocation in bounded heaps
Publication
Publication
Presented at the
International Conference on Foundations of Software Engineering, Teheran, Iran
Additional Metadata | |
---|---|
Software (theme 1) | |
Springer | |
F. Arbab (Farhad) , M. Sirjani (Marjan) | |
Lecture Notes in Computer Science | |
International Conference on Foundations of Software Engineering | |
Organisation | Computer Security |
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.
|