Sandro Etalle

4 published titles

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004 Verona, Italy, August 26-28, 2004 : revised selected papers

(Contributor)

1 edition

Logic programming : 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

(Contributor)

1 edition

Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers

(Contributor)

1 edition

Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14 2011 : revised selected papers

(Contributor)

1 edition