Modular specification and verification for higher-order languages with state
Kasper Svendsen
Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis
Fingerprint
Dive into the research topics of 'Modular specification and verification for higher-order languages with state'. Together they form a unique fingerprint.