Higher-Order Separation Logic for Distributed Systems and Security

Simon Oddershede Gregersen

Research output: Book/anthology/dissertation/reportPh.D. thesis

78 Downloads (Pure)
Original languageEnglish
PublisherÅrhus Universitet
Publication statusPublished - Mar 2023

Cite this