Research output

  1. Actris: Session-type based reasoning in separation logic

    Research output: Contribution to journalArticleScientificpeer-review

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

    Research output: Contribution to journalArticleScientificpeer-review

View all (15) »

ID: 4511628