Research output

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

    Research output: Contribution to journalArticleScientificpeer-review

View all (1) »

ID: 62620717