| |
| 2003 | ||
|---|---|---|
| 4 | EE | Walter Dosch, Sönke Magnussen: Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications. SERA 2003: 7-33 |
| 2001 | ||
| 3 | EE | Walter Dosch, Sönke Magnussen: The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. WADT 2001: 85-108 |
| 2 | EE | Walter Dosch, Sönke Magnussen: Computer Aided Fusion for Algebraic Program Derivation. Nord. J. Comput. 8(3): 279-297 (2001) |
| 2000 | ||
| 1 | Walter Dosch, Sönke Magnussen: Transformational derivation of a bytecode verifier. Computers and Their Applications 2000: 443-447 | |
| 1 | Walter Dosch | [1] [2] [3] [4] |