Deciding Boolean Separation Logic via Small Models

Saved in:
Bibliographic Details
Published inLecture notes in computer science Vol. 14570
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2024
Online AccessGet full text
ISBN3031572459
9783031572456
ISSN1611-3349
0302-9743
DOI10.1007/978-3-031-57246-3_11

Cover

More Information
ISBN:3031572459
9783031572456
ISSN:1611-3349
0302-9743
DOI:10.1007/978-3-031-57246-3_11