ID:DA17406881
Formal Aspects of Security and Trust
同姓同名の著者を検索
Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)
Springer c2012 Lecture notes in computer science 7140
所蔵館1館
Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)
Springer c2011 Lecture notes in computer science 6561 . LNCS sublibrary ; SL 4 . Security and cryptology
: pbk
