Abrial, Jean-Raymond ;
Glässer, Uwe
06191 Summary -- Rigorous Methods for Software Construction and Analysis
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.
BibTeX - Entry
@InProceedings{abrial_et_al:DagSemProc.06191.2,
author = {Abrial, Jean-Raymond and Gl\"{a}sser, Uwe},
title = {{06191 Summary – Rigorous Methods for Software Construction and Analysis}},
booktitle = {Rigorous Methods for Software Construction and Analysis},
pages = {1--2},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6191},
editor = {Jean-Raymond Abrial and Uwe Gl\"{a}sser},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2006/665},
URN = {urn:nbn:de:0030-drops-6656},
doi = {10.4230/DagSemProc.06191.2},
annote = {Keywords: Executive Summary}
}
|
Keywords: |
|
Executive Summary |
|
Seminar: |
|
06191 - Rigorous Methods for Software Construction and Analysis
|
|
Issue date: |
|
2006 |
|
Date of publication: |
|
08.08.2006 |
08.08.2006
