Bernard Elspas

	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

Coauthor Index

1	Karl N. Levitt	[3]
2	Harold S. Stone	[2]
3	Abraham Waksman	[3]
4	Richard J. Waldinger	[3]

Colors in the list of coauthors