| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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 SWAT (FOCS) 1967: 184-196 |
| 1964 | ||
| 1 | | Bernard Elspas: Topological constraints on interconnection-limited logic SWCT (FOCS) 1964: 133-137 |
| 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
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page