Copyright
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-6656
URL: http://drops.dagstuhl.de/opus/volltexte/2006/665/
Abrial, Jean-Raymond ; Glässer, Uwe

06191 Summary -- Rigorous Methods for Software Construction and Analysis

pdf-format:
Dokument 1.pdf (42 KB)

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
Documenttype: InProceedings
Issue date: 2006
Date of publication: 08.08.2006

DROPS-Home | Fulltext Search | Imprint Published by LZI