Algebraic Data Structure Refinement with the Lübeck Transformation System.

W. Dosch, Sönke Magnussen

Originalsprache	Englisch
Seiten	7-12
Seitenumfang	6
Publikationsstatus	Veröffentlicht - 2001
Veranstaltung	Kolloquium Programmiersprachen und Grundlagen der Programmierung 2001 - Rurberg, Deutschland Dauer: 07.10.2001 → 10.10.2001

Tagung, Konferenz, Kongress	Kolloquium Programmiersprachen und Grundlagen der Programmierung 2001
Land/Gebiet	Deutschland
Ort	Rurberg
Zeitraum	07.10.01 → 10.10.01

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

@conference{92c749ba5f93458da5366ffd9809a5cc,

title = "Algebraic Data Structure Refinement with the L{\"u}beck Transformation System.",

author = "W. Dosch and S{\"o}nke Magnussen",

year = "2001",

language = "English",

pages = "7--12",

note = "Kolloquium Programmiersprachen und Grundlagen der Programmierung 2001 ; Conference date: 07-10-2001 Through 10-10-2001",

}