- CSB - MetaPress - Google - Bing - Yahoo
 | 1989 | |
|---|---|---|
| 2 |      | Avra Cohn: The Notion of Proof in Hardware Verification. J. Autom. Reasoning 5(2): 127-139 (1989) |
| 1983 | ||
| 1 | | Avra Cohn: The Equivalence of Two Semantic Definitions: A Case Study in LCF. SIAM J. Comput. 12(2): 267-285 (1983) |