Jürgen Cleve

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1994
Publication period end
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.