Author: Jürgen Cleve
Publications
Publication period start: 1994
Number of co-authors: 1
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Cleve, Jürgen, Hutter, Dieter (1994): A Methodology for Equational Reasoning. In: HICSS 1994 , 1994, . pp. 569-579.