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

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

doi:10.4230/OASIcs.TrustworthySW.2006

Document

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

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

Part of: Volume: Workshop on Trustworthy Software (TrustworthySW 2006)
Part of: Series: Open Access Series in Informatics (OASIcs)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2012-07-16

PDF

File

OASIcs.TrustworthySW.2006.pdf

Filesize: 2.95 MB
186 pages

Document Identifiers

DOI: 10.4230/OASIcs.TrustworthySW.2006
URN: urn:nbn:de:0030-drops-35659

Author Details

Serge Autexier

Stephan Merz

Leon van der Torre

Reinhard Wilhelm

Pierre Wolper

Cite As Get 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

Subject Classification

Keywords

Software/Program Verification

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail