Research output

  1. Iron: Managing obligations in higher-order concurrent separation logic

    Research output: Contribution to journalArticleScientificpeer-review

  2. Semi-automated Reasoning About Non-determinism in C Expressions

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

View all (14) »

ID: 4511628