Susan Owicki

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

An axiomatic proof technique for parallel programs I

Susan Owicki et al. (1976) · Acta Informatica

Verifying properties of parallel programs: An axiomatic approach

Susan Owicki et al. (1976) · Communications of the ACM