Proceedings of the Workshop "Trustworthy Software" 2006<pre>@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},
}
</pre>