DagSemProc.06191.2.pdf
- Filesize: 41 kB
- 2 pages
Document
06191 Summary – Rigorous Methods for Software Construction and Analysis
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 6191
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2006-08-08
Cite As Get 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.
Subject Classification
Keywords
- Executive Summary
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads