학술논문
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions
Document Type
Article
Author
Source
In: ACM Transactions on Computational Logic . (ACM Transactions on Computational Logic, 18 January 2023, 24(1))
Subject
Language
English
ISSN
1557945X
15293785
15293785