Publication:1660774

DOI10.1007/978-3-319-47677-3_12zbMATH Open1393.68043OpenAlexW2528083762MaRDI QIDQ1660774FDOQ1660774

Zhilin Wu

Publication date: 16 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-47677-3_12

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Cited In (1)

• Two-Variable Separation Logic and Its Inner Circle

This page was built for publication: Semipositivity in separation logic with two variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1660774)