
Software Engineering and Formal Methods
Gilles Barthe, Alberto Pardo, Gerardo Schneider
₹5,652

8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
by Gilles Barthe, Anupam Datta, Sandro Etalle
Free delivery. Nothing extra to pay at checkout.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS
Description supplied by the publisher.