PhD Computer Science



The following thesis was written by a student in the 2024 class of the PhD Computer Science programme at Leiden University.


Thesis details

TitleNew Foundations for Separation Logic
StudentHiep, H.A. (Hans-Dieter)
ProgrammePhD Computer Science
Year2024
SupervisorsBoer, prof.dr. F.S. (Frank) de
Gouw, dr. C.P.T. de (Open University) (second supervisor)
Laarman, dr. A.W. (Alfons)
More information Thesis information

Citation details

Hiep, H.A. (Hans-Dieter), New Foundations for Separation Logic, Thesis PhD Computer Science, LIACS, Leiden University, 2024.