Book serie: / Книги серии: Lecture Notes in Computer Science 7140 : Security and Cryptology » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 7140 : Security and Cryptology

book Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

pdf

Author: Mihhail Aizatulin François Dupressoir (auth.) Gilles Barthe Anupam Datta Sandro Etalle (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0