Sandro Etalle

Sandro Etalle

5 books in the database

Books

Logic Programming (vol. # 4079)Sandro Etalle

Logic Programming (vol. # 4079)

Sandro Etalle · 2007

Trust ManagementSandro Etalle

Trust Management

Sandro Etalle · 2007

Logic Based Program Synthesis and TransformationSandro Etalle

Logic Based Program Synthesis and Transformation

Sandro Etalle · 2005

Trust Management : Proceedings of IFIPTM 2007Sandro Etalle

Trust Management : Proceedings of IFIPTM 2007

Sandro Etalle · 2010

Logic ProgrammingSandro Etalle

Logic Programming

Sandro Etalle · 2006

Co-authored books and collections

Books that list Sandro Etalle among their authors but not as the lead author: co-written works, collections and compilations.

Formal Aspects of Security and TrustGilles Barthe

Formal Aspects of Security and Trust

Gilles Barthe · 2012