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

W. Dosch, Sönke Magnussen

Original language	English
Pages	7-12
Number of pages	6
Publication status	Published - 2001
Event	Kolloquium Programmiersprachen und Grundlagen der Programmierung 2001 - Rurberg, Germany Duration: 07.10.2001 → 10.10.2001

Conference	Kolloquium Programmiersprachen und Grundlagen der Programmierung 2001
Country/Territory	Germany
City	Rurberg
Period	07.10.01 → 10.10.01

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

@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",

}