The logic of separation logic: models and proofs

Author(s):
Boer, F.S. de; Hiep, H.A. (0000-0001-9677-6644); Gouw, C.P.T. de
Editor(s):
Ramanayake, R.; Urban, J.
Published
2023
Publication type
Article in monograph or in proceedings
Date issued
2023
Language
English
Publisher
Cham: Springer
Is part of
Lecture Notes in Computer Science (2023), Pt. 14278, p. 407-426
ISBN source
9783031435126
hdl
1887/3766073
doi
10.1007/978-3-031-43513-3_22

Conference

Meeting name
32nd International Conference, TABLEAUX 2023
Meeting location
Prague, Czechia
Meeting date
2023-09-18 - 2023-09-21