Document Open Access Logo

OASIcs, Volume 3, Trustworthy SW'06, Complete Volume

Authors Serge Autexier, Stephan Merz, Leon van der Torre, Reinhard Wilhelm, Pierre Wolper



PDF
Thumbnail PDF

File

OASIcs.TrustworthySW.2006.pdf
  • Filesize: 2.95 MB
  • 186 pages

Document Identifiers

Author Details

Serge Autexier
Stephan Merz
Leon van der Torre
Reinhard Wilhelm
Pierre Wolper

Cite AsGet BibTex

Workshop on Trustworthy Software. Open Access Series in Informatics (OASIcs), Volume 3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
https://doi.org/10.4230/OASIcs.TrustworthySW.2006

Abstract

OASIcs, Volume 3, Trustworthy SW'06, Complete Volume
Keywords
  • Software/Program Verification

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail