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

Feel Stuck? Want Freedom?

Join 326,352+ designers who get one powerful email each week. Learn to design a life you love.

Next email in
7
days
4
hrs
44
mins
4
secs

Free forever. No spam. Unsubscribe anytime.