A Program Logic for Resource Verification

David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'A Program Logic for Resource Verification'. Together they form a unique fingerprint.

Engineering & Materials Science