Stefan Westmeier

According to our database, Stefan Westmeier authored at least 3 papers between 1997 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z.

Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Tool Integration in the UniForM-Workbench.

Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff

Proceedings of the International Workshop Tool Support for System Specification, 1998

1997

Using Concurrent Haskell to Develop Views over an Active Repository.

Einar W. Karlsen, Stefan Westmeier

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997