Stephen Nes

According to our database, Stephen Nes authored at least 1 paper in 1973.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1973

Inductive Methods for Proving Properties of Programs.

Zohar Manna, Stephen Nes, Jean Vuillemin

Commun. ACM, 1973