Gilles Barthe, e. (2012). Formal aspects of security and trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers. [, Springer-Verlag].
Chicago Style CitationGilles Barthe, editor. Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : Revised Selected Papers. [, Springer-Verlag], 2012.
MLA CitationGilles Barthe, editor. Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : Revised Selected Papers. [, Springer-Verlag], 2012.
Warning: These citations may not always be 100% accurate.