Stephen Nes

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1973
Publication period end
1973
Number of co-authors
2

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Manna, Zohar, Nes, Stephen, Vuillemin, Jean (1973): Inductive Methods for Proving Properties of Programs. In Communications of the ACM, 16 (8) pp. 491-502.