Mnacho Echenim, Nicolas Peltier. A Proof Procedure for Separation Logic with Inductive Definitions and Data. Journal of Automated Reasoning, 67(3):30, September 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.