Author: Jay M. Spitzen

Jay M. Spitzen

Jay M. Spitzen

Publications

Publication period start: 1978
Publication period end: 1978
Number of co-authors: 2

Co-authors

Number of publications with favourite co-authors
Karl N. Levitt
1
Lawrence Robinson
1

Productive Colleagues

Most productive colleagues in number of publications
Lawrence Robinson
2
Karl N. Levitt
6

Publications

Spitzen, Jay M., Levitt, Karl N., Robinson, Lawrence (1978): An Example of Hierarchical Design and Proof. In Communications of the ACM, 21 (12) pp. 1064-1075.