René Haberland
According to our database1,
René Haberland
authored at least 10 papers
between 2016 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
2021
0
1
2
3
4
5
6
7
8
9
1
8
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory.
CoRR, 2021
2019
CoRR, 2019
A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction.
CoRR, 2019
2016
Proceedings of the 18th Conference of Open Innovations Association and Seminar on Information Security and Protection of Information Technology, 2016