Beat Michel

Publication Activity (10 Years)

Years Active: 1988-2006
Publications (10 Years): 0

Publications

Thibault Estier, Beat Michel, Oliver Reinhard
Modeling Services using Contracts. EMMSAD (2006)
Beat Michel
A 'Division' Transformation for Program and Data Structures and the Structure Clash Problem. Sci. Comput. Program. 10 (3) (1988)