Fingerprint
Dive into the research topics of 'Frame inference for inductive entailment proofs in separation logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Frame inference for inductive entailment proofs in separation logic
Quang Loc Le, Jun Sun, Shengchao Qin
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
164
Downloads
(Pure)