You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Frame Inference for Inductive Entailment Proofs in Separation Logic
Tools and Algorithms for the Construction and Analysis of Systems
Springer, Cham, April 2018
Quang Loc Le, Jun Sun, Shengchao Qin