Preface

Gilles Barthe, Anupam Datta, Sandro Etalle

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

Originele taal-2Engels
TitelFormal aspects of security and trust
Subtitel8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
RedacteurenGilles Barthe, Anupam Datta, Sandro Etalle
Plaats van productieBerlin
UitgeverijSpringer
Pagina'sIV
Aantal pagina's1
ISBN van elektronische versie978-3-642-29420-4
ISBN van geprinte versie978-3-642-29419-8
DOI's
StatusGepubliceerd - 23 jul 2012
Evenement8th International Workshop on Formal Aspects of Security and Trust, FAST 2011 - Leuven, België
Duur: 12 sep 201114 sep 2011

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
UitgeverijSpringer
Volume7140
ISSN van geprinte versie0302-9743

Congres

Congres8th International Workshop on Formal Aspects of Security and Trust, FAST 2011
LandBelgië
StadLeuven
Periode12/09/1114/09/11

Citeer dit