A decidable logic for tree data-structures with measurements

DOI10.1007/978-3-030-11245-5_15OpenAlexW2908766690MaRDI QIDQ2287094

Xiaokang Qiu, Yan-Jun Wang

Publication date: 23 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-11245-5_15

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: A decidable logic for tree data-structures with measurements