Mechanizing the Refinement of Data Structures with the Lübeck Transformation System

W. Dosch, S. Magnussen

OriginalspracheEnglisch
Seiten35-38
Seitenumfang4
PublikationsstatusVeröffentlicht - 2002
Veranstaltung14th Nordic Workshop on Programming - Tallinn, Estland
Dauer: 20.11.200222.11.2002

Tagung, Konferenz, Kongress

Tagung, Konferenz, Kongress14th Nordic Workshop on Programming
Land/GebietEstland
OrtTallinn
Zeitraum20.11.0222.11.02

Zitieren