Foundations for Decision Problems in Separation Logic with General Inductive Predicates (2014)
Attributed to:
Resource Reasoning
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract
Parent Publication: 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)