A modal type theory for formalizing trusted communications
| Title | A modal type theory for formalizing trusted communications |
| Publication Type | Journal Article |
| Authors | Primiero, G, Taddeo, M |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-1976260 |
|---|---|
| Download PDF |
 (Author PDF) |
UGent Biblio Link:
PDF author (public):