Sönke Magnussen

	2003
4		Walter Dosch, Sönke Magnussen: Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications. SERA 2003: 7-33
	2001
3		Walter Dosch, Sönke Magnussen: The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. WADT 2001: 85-108
2		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

Coauthor Index

1

Walter Dosch

[1] [2] [3] [4]