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)

September

von: Gilles Barthe · Anupam Datta · Sandro Etalle

Taschenbuch

ISBN-13: 978-3-642-29419-8

ISBN-10: 3-642-29419-7

Springer · 2012