Sönke Magnussen

Publication Activity (10 Years)

Years Active: 2000-2003
Publications (10 Years): 0

University of Lübeck, Germany (PHD)

Education History

University of Lübeck, Germany

PHD

Publications

Walter Dosch, Sönke Magnussen
Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications. SERA (2003)
Walter Dosch, Sönke Magnussen
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. WADT (2001)
Walter Dosch, Sönke Magnussen
Computer Aided Fusion for Algebraic Program Derivation. Nord. J. Comput. 8 (3) (2001)
Walter Dosch, Sönke Magnussen
Transformational derivation of a bytecode verifier. CATA (2000)