SeLoger: A Tool for Graph−Based Reasoning in Separation Logic
Christoph Haase‚ Samin Ishtiaq‚ Joël Ouaknine and Matthew J. Parkinson
Book Title
Computer Aided Verification‚ CAV
Pages
790–795
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Volume
8044
Year
2013