Proceedings of the Workshop "Trustworthy Software" 2006
@proceedings{autexier_et_al:DSP:2006:758, editor = {Serge Autexier, Stephan Merz, Leon van der Torre, Reinhard Wilhelm and Pierre Wolper}, title = {Proceedings of the Workshop "Trustworthy Software" 2006}, series = {Dagstuhl Research Online Publication Server}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, month = {september}, year = {2006}, }