Stefan Westmeier

	1998
2		Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff: HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. ZUM 1998: 116-134
	1997
1		Einar W. Karlsen, Stefan Westmeier: Using Concurrent Haskell to Develop Views over an Active Repository. Implementation of Functional Languages 1997: 285-303

Coauthor Index

1	Einar W. Karlsen	[1] [2]
2	Kolyang	[2]
3	Christoph Lüth	[2]
4	Burkhart Wolff	[2]