Embedding Hindsight Reasoning in Separation Logic

Roland Meyer, Thomas Wies, Sebastian Wolff

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Embedding Hindsight Reasoning in Separation Logic'. Together they form a unique fingerprint.

Engineering & Materials Science