Jeffrey Zucker

According to our database, Jeffrey Zucker authored at least 1 paper in 1980.

Collaborative distances:

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

1980

Mathematical theory of program correctness.

Jacobus W. de Bakker, Arie de Bruin, Jeffrey Zucker

Prentice-Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-562132-5, 1980