Showing 1 - 5 results of 5 for search 'Etalle, Sandro', query time: 0.06s Refine Results
  1. 1
    Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers /
    Published 2005
    Other Authors: “…Etalle, Sandro…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Published 2006
    Other Authors: “…Etalle, Sandro…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Trust Management Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30– August 2, 2007, New Brunswick, Canada /
    Published 2007
    Other Authors: “…Etalle, Sandro…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Aspects of Security and Trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers /
    Published 2011
    Other Authors: “…Etalle, Sandro…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /
    Published 2012
    Other Authors: “…Etalle, Sandro…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search