Dynamic separation logic
- Author(s):
- Boer, F.S. de; Hiep, H.A. (0000-0001-9677-6644); Gouw, C.P.T. de
- Published
- 2023
- Publication type
- Article / Letter to editor
- Date issued
- 2023-11-23
- Language
- English
- Publisher
- Centre pour la Communication Scientifique Directe (CCSD)
- Is part of
- Electronic Notes in Theoretical Informatics and Computer Science (2023), 12297
- hdl
- 1887/3765728
- doi
- 10.46298/entics.12297
- URL
- https://entics.episciences.org/12297
