Compositional satisfiability solving in separation logic

From MaRDI portal
Publication:2234106

DOI10.1007/978-3-030-67067-2_26zbMath1472.03025OpenAlexW3119321758MaRDI QIDQ2234106

Quang Loc Le

Publication date: 18 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-67067-2_26




Related Items



Cites Work


This page was built for publication: Compositional satisfiability solving in separation logic