Formalizing a Secure Foreign Function Interface - Extended Version
- Författare
- Adriaan Larmuseau
- Genre
- Statlig publikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Information Technology, Uppsala University | 2015 | Sverige |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Information Technology, Uppsala University | 2015 | Sverige |