Formal Reasoning about Capability Machines

Lau Skorstengaard

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

215 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal Reasoning about Capability Machines'. Together they form a unique fingerprint.

Computer Science