Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Abrial, Jean-Raymond; Glässer, Uwe License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-6656
URL:

;

06191 Summary -- Rigorous Methods for Software Construction and Analysis

pdf-format:


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


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