Fingerprint
Dive into the research topics of 'A Program Logic for Resource Verification'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A Program Logic for Resource Verification
David Aspinall, Lennart Beringer, Martin Hofmann, Hans Wolfgang Loidl, Alberto Momigliano
Research output: Chapter in Book/Report/Conference proceeding › Chapter
19
Scopus
citations