| |
| 1972 | ||
|---|---|---|
| 3 | Bernard Elspas, Karl N. Levitt, Richard J. Waldinger, Abraham Waksman: An Assessment of Techniques for Proving Program Correctness. ACM Comput. Surv. 4(2): 97-147 (1972) | |
| 1967 | ||
| 2 | Bernard Elspas, Harold S. Stone: Decomposition of Group Functions and the Synthesis of Multirail Cascades FOCS 1967: 184-196 | |
| 1964 | ||
| 1 | Bernard Elspas: Topological constraints on interconnection-limited logic FOCS 1964: 133-137 | |
| 1 | Karl N. Levitt | [3] |
| 2 | Harold S. Stone | [2] |
| 3 | Abraham Waksman | [3] |
| 4 | Richard J. Waldinger | [3] |