Title
Effective Entailment Checking for Separation Logic with Inductive Definitions.
Year
Venue
DocType
2019
European Joint Conferences on Theory And Practice of Software
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Jens Katelaan101.35
Christoph Matheja213.40
Florian Zuleger329625.13