Author: Susan S. Owicki

Publication Overview

Publication period start: 1976
Number of co-authors: 1

Co-Authors

Number of publications with favourite co-authors

David Gries
1

Productive Colleagues

Most productive colleagues in number of publications

David Gries
31

Publications

Owicki, Susan S., Gries, David (1976): Verifying Properties of Parallel Programs: An Axiomatic Approach. In Communications of the ACM, 19 (5) pp. 279-285.

Privacy Settings

By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Learn Design and AI From the Best

Get one powerful email each week, like 315,266 others.

Next email in: