Serge Autexier Stephan Merz Leendert W. N. van der Torre Reinhard Wilhelm Pierre Wolper Preface -- Workshop Trustworthy Software 2006. 2006 Trustworthy Software http://drops.dagstuhl.de/opus/volltexte/2006/693 conf/dagstuhl/2006P6000 db/conf/dagstuhl/P6000.html#AutexierMTWW06