Etalle, Sandro

ID:DA16101991

別名: Etalle, S. (Sandro)

同姓同名の著者を検索

検索結果3件中 1-3 を表示

1

Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers

Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)

Springer c2012 Lecture notes in computer science 7140

所蔵館1館
2

Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers

Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)

Springer c2011 Lecture notes in computer science 6561 . LNCS sublibrary ; SL 4 . Security and cryptology

: pbk

所蔵館1館
3

Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

Sandro Etalle (ed.)

Springer c2005 Lecture notes in computer science 3573

所蔵館11館

この著者を外部サイトでさがす

関連著者

ページトップへ