Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis
- Francisco Ferreira
- , Sung Shik Jongmans
Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review