Jay M. Spitzen

According to our database1, Jay M. Spitzen
  • authored at least 4 papers between 1974 and 1978.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1978
An Example of Hierarchical Design and Proof.
Commun. ACM, 1978

1976
The Specification of Assemblers.
IEEE Trans. Software Eng., 1976

Proving Properties of Complex Data Structures.
J. ACM, 1976

1974
The Verification and Synthesis of Data Structures.
Acta Inf., 1974


  Loading...