【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Etalle, Sandro

ID:DA16101991

Alias Name: Etalle, S. (Sandro)

Search authors sharing the same name

Search Results1-3 of 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

Available at 1 libraries
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

Available at 1 libraries
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

Available at 11 libraries

Search this author

Related Authors