Author: Susan S. Owicki
Publications
Publication period start: 1976
Number of co-authors: 1
Co-authors
Number of
publications with favourite co-authors
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.