|
Search the dblp DataBase
Jay M. Spitzen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jay M. Spitzen, Ben Wegbreit
The Verification and Synthesis of Data Structures [Citation Graph (0, 0)][DBLP] Acta Inf., 1974, v:4, n:, pp:127-144 [Journal]
- Jay M. Spitzen, Karl N. Levitt, Lawrence Robinson
An Example of Hierarchical Design and Proof. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1978, v:21, n:12, pp:1064-1075 [Journal]
- Ben Wegbreit, Jay M. Spitzen
Proving Properties of Complex Data Structures. [Citation Graph (0, 0)][DBLP] J. ACM, 1976, v:23, n:2, pp:389-396 [Journal]
- Jay M. Spitzen
The Specification of Assemblers. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1976, v:2, n:1, pp:33-40 [Journal]
Search in 0.001secs, Finished in 0.001secs
|