Login / Signup
B. Cohen
Publication Activity (10 Years)
Years Active: 1981-1997
Publications (10 Years): 0
</>
Publications
</>
B. Cohen
Set Theory as a Semantic Framework for Object-Oriented Modeling.
ECOOP Workshops
(1997)
B. Cohen
Justification of formal methods for system specification.
Softw. Eng. J.
4 (1) (1989)
B. Cohen
A rejustification of formal notations [software engineering].
Softw. Eng. J.
4 (1) (1989)
B. Cohen
Justification of formal methods for system specification.
Softw. Microsystems
1 (5) (1982)
B. Cohen
Overview on Topic 2: Programming Languages and Software Engineering.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
(1981)