Grail: A functional form for imperative mobile code
- Lennart Beringer
- , Kenneth MacKenzie
- , Ian Stark
Research output: Contribution to journal › Conference article › peer-review
14
Link opens in a new tab
Scopus
citations