Shape Analysis for Composite Data Structures

DOI10.1007/978-3-540-73368-3_22zbMath1135.68372OpenAlexW2152686702MaRDI QIDQ5429321

Could not fetch data.

Publication date: 29 November 2007

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3_22

Mathematics Subject Classification ID

Could not fetch data.