06191 Summary – Rigorous Methods for Software Construction and Analysis

Authors Jean-Raymond Abrial, Uwe Glässer



PDF
Thumbnail PDF

File

DagSemProc.06191.2.pdf
  • Filesize: 41 kB
  • 2 pages

Document Identifiers

Author Details

Jean-Raymond Abrial
Uwe Glässer

Cite AsGet BibTex

Jean-Raymond Abrial and Uwe Glässer. 06191 Summary – Rigorous Methods for Software Construction and Analysis. In Rigorous Methods for Software Construction and Analysis. Dagstuhl Seminar Proceedings, Volume 6191, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/DagSemProc.06191.2

Abstract

We survey here the key objectives and the structure of the Dagstuhl Seminar 06191, which was organized as Festkolloquium on the occasion of Egon Börger’s 60th birthday, in May 2006 in Schloss Dagstuhl, Germany.
Keywords
  • Executive Summary

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