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