학술논문
Strong-separation Logic
Document Type
Article
Author
Source
In: ACM Transactions on Programming Languages and Systems . (ACM Transactions on Programming Languages and Systems, 15 July 2022, 44(3))
Subject
Language
English
ISSN
15584593
01640925
01640925