David Gries

4 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.

The science of programming
David Gries (2012)
Avoiding the Undefined by Underspecification
David Gries et al. (1995) · Computer Science Today: Recent Trends and Developments
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