Author: Dieter Hutter

Publications

Publication period start: 1994
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
Jürgen Cleve
1

Productive Colleagues

Most productive colleagues in number of publications
Jürgen Cleve
1

Publications

Cleve, Jürgen, Hutter, Dieter (1994): A Methodology for Equational Reasoning. In: HICSS 1994 , 1994, . pp. 569-579.