Paper Info
Title
Harrsh - A Tool for Unied Reasoning about Symbolic-Heap Separation Logic.
Year
DOI
Venue
2018
10.29007/qwd8
LPAR
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Jens Katelaan101.35
Christoph Matheja213.40
Thomas Noll3236.12
Florian Zuleger429625.13