2024-05-23
New foundations for separation logic
Publication
Publication
Additional Metadata | |
---|---|
F.S. de Boer (Frank) | |
Universiteit Leiden | |
IPA dissertation series ; 2024/4 | |
Organisation | Computer Security |
Hiep, H.-D. (2024, May 23). New foundations for separation logic. IPA dissertation series. |