Thomas Grünler

According to our database, Thomas Grünler authored at least 3 papers between 1990 and 1993.

Collaborative distances:

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

1993

Specification: Algebraic Specification.

Thomas Grünler

Proceedings of the Program Development by Specification and Transformation, 1993

Semantics of PAⁿⁿdA-S.

Michael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl

Proceedings of the Program Development by Specification and Transformation, 1993

1990

Spezifikationen höherer Ordnung.

Thomas Grünler

PhD thesis, 1990