Sandro Etalle

• Formal Aspects of Security and Trust
• Logic Based Program Synthesis and Transformation
• Logic Programming (vol. # 4079)
• Trust Management
• Trust Management : Proceedings of IFIPTM 2007
• Formal Aspects of Security and Trust
• Logic Programming