B. Cohen

发表

Failure Experience with and Failure Anticipation in Titanium Components

B. Cohen, H. M. Burte, D. M. Forney, 1973 .

Set Theory as a Semantic Framework for Object-Oriented Modeling

B. Cohen, B. Cohen, 1997, ECOOP Workshops.

A rejustification of formal notations [software engineering]

B. Cohen, 1989, Softw. Eng. J..

Justification of formal methods for system specification

B. Cohen, B. Cohen, 1982, Softw. Eng. J..

Incentives Build Robustness in Bit-Torrent

B. Cohen, B. Cohen, 2003 .

Overview on Topic 2: Programming Languages and Software Engineering

B. Cohen, 1981, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.