Publications

2 results for Richard J. Orgass

Some results concerning proofs of statements about programs
- - R.J. Orgass
- 1970
- Journal of Computer and System Sciences
A base for a mobile programming system
- - Richard J. Orgass
  - William M. Waite
- 1969
- CACM

Some results concerning proofs of statements about programs