Filter your results
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
2 results
|
|
sorted by
|
|
Unbounded Allocation in Bounded Heaps5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.1-16, ⟨10.1007/978-3-642-40213-5_1⟩
Conference papers
hal-01514664v1
|
||
|
Fundamentals of Software EngineeringFarhad Arbab; Marjan Sirjani. Springer Berlin Heidelberg, LNCS-8161, 2013, Lecture Notes in Computer Science, 978-3-642-40212-8. ⟨10.1007/978-3-642-40213-5⟩
Books
hal-01514876v1
|