Logics for information flow security - from specification to verification
- Författare
- Musard Balliu
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Computer Sciences and Communication, KTH Royal Institute of Technology | 2014 | Sverige, Stockholm | viii, 202 sidor. | 978-91-7595-259-8 |
| Computer Science and Communication, KTH Royal Institute of Technology | 2014 | Sverige, Stockholm | viii, 202 sidor. (PDF) |