Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
- Författare
- Gilles. Barthe
- (Edited by Gilles Barthe, Anupam Datta, Sandro Etalle.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2012 | Tyskland, Berlin, Heidelberg | X, 279 sidor. digital. | 978-3-642-29420-4 |