Iron: Managing obligations in higher-order concurrent separation logic

Aleš Bizjak, Daniel Gratzer, Robbert Krebbers, Lars Birkedal

Research output: Contribution to journalArticleScientificpeer-review

11 Citations (Scopus)
98 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Iron: Managing obligations in higher-order concurrent separation logic'. Together they form a unique fingerprint.

Computer Science

INIS

Keyphrases