A theorem proving approach to analysis of secure information flow using data abstraction
- Författare
- Jing Pan
- (Jing Pan.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högskola | 2005 | Sverige, Göteborg | xii, 53 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högskola | 2005 | Sverige, Göteborg | xii, 53 sidor. |