Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, Septem

book

発売日

: 2012年

著者／編集

: Gilles Barthe/Anupam Datta/Sandro Etalle

出版社

: SPRINGER NATURE

価格

: 19,096

ISBN

: 9783642294198