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

W. Dosch, S. Magnussen

Original languageEnglish
Pages35-38
Number of pages4
Publication statusPublished - 2002
Event14th Nordic Workshop on Programming - Tallinn, Estonia
Duration: 20.11.2002 → 22.11.2002

Conference

Conference14th Nordic Workshop on Programming
Country/TerritoryEstonia
CityTallinn
Period20.11.02 → 22.11.02

UN SDGs

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

  • SDG 9 - Industry, Innovation, and Infrastructure

Cite this