2 Search Results for "Langmaack, Hans"

@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-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.117},
  URN =		{urn:nbn:de:0030-drops-150051},
  doi =		{10.4230/DagSemRep.117},
}

@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-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.29},
  URN =		{urn:nbn:de:0030-drops-149172},
  doi =		{10.4230/DagSemRep.29},
}

• Refine by Author
• 2 Langmaack, Hans
• 1 Abrial, Jean-Raymond
• 1 Börger, Egon
• 1 Neuhold, Erich
• 1 Paul, Manfred

• Refine by Classification

• Refine by Keyword

• Refine by Type
• 2 document

• Refine by Publication Year
• 1 1992
• 1 1995