Beat Michel

According to our database, Beat Michel authored at least 2 papers between 1988 and 2006.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2006

Modeling Services using Contracts.

Thibault Estier, Beat Michel, Oliver Reinhard

Proceedings of the 11th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, 2006

1988

A 'Division' Transformation for Program and Data Structures and the Structure Clash Problem.

Beat Michel

Sci. Comput. Program., 1988