New foundations for separation logic

Additional Metadata
Promotor	F.S. de Boer (Frank)
Degree Grantor	Universiteit Leiden
ISBN	978-90-831826-1-2
Series	IPA dissertation series ; 2024/4
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Hiep, H.-D. (2024, May 23). New foundations for separation logic. IPA dissertation series.

Publication