| |
| 1978 | ||
|---|---|---|
| 4 | Jay M. Spitzen, Karl N. Levitt, Lawrence Robinson: An Example of Hierarchical Design and Proof. Commun. ACM 21(12): 1064-1075 (1978) | |
| 1976 | ||
| 3 | Jay M. Spitzen: The Specification of Assemblers. IEEE Trans. Software Eng. 2(1): 33-40 (1976) | |
| 2 | EE | Ben Wegbreit, Jay M. Spitzen: Proving Properties of Complex Data Structures. J. ACM 23(2): 389-396 (1976) |
| 1974 | ||
| 1 | Jay M. Spitzen, Ben Wegbreit: The Verification and Synthesis of Data Structures Acta Inf. 4: 127-144 (1974) | |
| 1 | Karl N. Levitt | [4] |
| 2 | Lawrence Robinson | [4] |
| 3 | Ben Wegbreit | [1] [2] |