Typed ψ-calculi

Department of Computer Science

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

11 Citations (Scopus)

1 results

Filter

Finished

BETTY: Behavioural Types for Reliable Large-Scale Software Systems
Hüttel, H.
01/10/2012 → 01/11/2015
Project: Research