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{"o}rger’s 60th birthday, in May 2006 in Schloss Dagstuhl, Germany.
BibTeX - Entry
@InProceedings{abrial_et_al:DSP:2006:665,
author = {Jean-Raymond Abrial and Uwe Gl{\"a}sser},
title = {06191 Summary -- Rigorous Methods for Software Construction and Analysis},
booktitle = {Rigorous Methods for Software Construction and Analysis},
year = {2006},
editor = {Jean-Raymond Abrial and Uwe Gl{\"a}sser},
number = {06191},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2006/665},
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
