Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers (Lecture Notes in Computer Science (7140), Band 7140)
von:
Gilles Barthe
·
Anupam Datta
·
Sandro Etalle
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-29419-8
ISBN-10: 3-642-29419-7
Springer
· 2012