Stephen Nes

Publication Activity (10 Years)

Years Active: 1972-1973
Publications (10 Years): 0

Publications

Zohar Manna, Stephen Nes, Jean Vuillemin
Inductive Methods for Proving Properties of Programs. Commun. ACM 16 (8) (1973)
Zohar Manna, Stephen Nes, Jean Vuillemin
Inductive methods for proving properties of programs. Proving Assertions About Programs (1972)