Login / Signup

An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic.

Quang Loc LeXuan-Bach D. Le
Published in: CoRR (2022)
Keyphrases