License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.06191.2
URN: urn:nbn:de:0030-drops-6656
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/665/
Go to the corresponding Portal

Abrial, Jean-Raymond ; Glässer, Uwe

06191 Summary -- Rigorous Methods for Software Construction and Analysis

pdf-format:
06191.SWM.Paper.665.pdf (0.04 MB)

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
Collection: 06191 - Rigorous Methods for Software Construction and Analysis
Issue Date: 2006
Date of publication: 08.08.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI