A program logic for resources

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

Research output: Contribution to journalArticlepeer-review

32 Citations (Scopus)

Fingerprint Dive into the research topics of 'A program logic for resources'. Together they form a unique fingerprint.

Engineering & Materials Science