Sandro Etalle

Identifiers

Open LibraryOL3315544A

Top Subjects

Logic programming (2)
Mathematics (1)
Data protection (1)

Books by Sandro Etalle

Total count: 5

Logic Based Program Synthesis and Transformation14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Springer London, Limited2005-01-01
Logic Programming22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Springer London, Limited2006-01-01
Trust ManagementProceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30– August 2, 2007, New Brunswick, Canada

International Federation for Information Processing2007-01-01
Trust Management : Proceedings of IFIPTM 2007Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New ... and Communication Technology )

Springer2010-11-19
Formal Aspects of Security and Trust8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Springer2012-07-01