Search Results

Abstract

Cite as

Jean-Raymond Abrial, Egon Börger, and Hans Langmaack. Methods for Semantics and Specification (Dagstuhl Seminar 9523). Dagstuhl Seminar Report 117, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1995)

@TechReport{abrial_et_al:DagSemRep.117,
  author =	{Abrial, Jean-Raymond and B\"{o}rger, Egon and Langmaack, Hans},
  title =	{{Methods for Semantics and Specification (Dagstuhl Seminar 9523)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{117},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.117},
  URN =		{urn:nbn:de:0030-drops-150051},
  doi =		{10.4230/DagSemRep.117},
}

Abstract

Cite as

Hans Langmaack, Erich Neuhold, and Manfred Paul. Software Construction - Foundation and Application (Dagstuhl Seminar 9203). Dagstuhl Seminar Report 29, pp. 1-36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1992)

@TechReport{langmaack_et_al:DagSemRep.29,
  author =	{Langmaack, Hans and Neuhold, Erich and Paul, Manfred},
  title =	{{Software Construction - Foundation and Application (Dagstuhl Seminar 9203)}},
  pages =	{1--36},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{29},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.29},
  URN =		{urn:nbn:de:0030-drops-149172},
  doi =		{10.4230/DagSemRep.29},
}