`Travelled to:`

1 × Denmark

1 × Germany

5 × USA

`Collaborated with:`

∅ F.B.Schneider S.S.Owicki J.Widom V.Nguyen

`Talks about:`

proof (3) softwar (2) program (2) network (2) correct (2) system (2) engin (2) profession (1) incomplet (1) properti (1)

## Person: David Gries

### DBLP: Gries:David

### Contributed to:

### Wrote 8 papers:

- ITiCSE-2002-Gries #education #problem
- Problems with CS education (DG), p. 135.
- CSEE-1994-GriesS #education #logic
- Teaching Logic as a Tool (DG, FBS), p. 599.
- SEI-1990-Gries
- Instilling Professionalism in Software Engineers (DG), p. 1.
- ICSE-1989-Gries #re-engineering
- My Thoughts on Software Engineering in the Late 1960s (DG), p. 98.
- POPL-1987-WidomGS #network #proving
- Completeness and Incompleteness of Trace-Based Network Proof Systems (JW, DG, FBS), pp. 27–38.
- POPL-1985-NguyenGO #network #process #proving
- A Model and Temporal Proof System for Networks of Processes (VN, DG, SSO), pp. 121–131.
- ICSE-1976-Gries #correctness #proving #source code
- An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (DG), p. 200.
- SOSP-J-1975-OwickiG76 #approach #axiom #parallel #source code #verification
- Verifying Properties of Parallel Programs: An Axiomatic Approach (SSO, DG), pp. 279–285.