Serge Autexier Stephan Merz Leendert W. N. van der Torre Reinhard Wilhelm Pierre Wolper Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany Trustworthy Software Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 06000 Dagstuhl Seminar Proceedings db/conf/dagstuhl/P6000.html