Author: Stephen Nes

Publication Overview

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

Co-Authors

Number of publications with favourite co-authors

Zohar Manna
1
Jean Vuillemin
1

Productive Colleagues

Most productive colleagues in number of publications

Jean Vuillemin
5
Zohar Manna
7

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.

Privacy Settings

By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Learn Design and AI From the Best

Get one powerful email each week, like 315,209 others.

Next email in: