BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Ireland
1 × The Netherlands
1 × USA
Collaborated with:
W.D.Young R.M.Cohen J.Keeton-Williams
Talks about:
principl (1) mathemat (1) program (1) develop (1) correct (1) system (1) scienc (1) physic (1) method (1) comput (1)

Person: Donald I. Good

DBLP DBLP: Good:Donald_I=

Contributed to:

VDM Europe 19881988
POPL 19791979
VDM Europe (2) 19911991

Wrote 4 papers:

VDME-1988-Good #physics
Computing is a Physical Science (DIG), p. 1.
POPL-1979-GoodC #proving #source code
Principles of Proving Programs Correct in Gypsy (DIG, RMC, JKW), pp. 42–52.
VDME-1991-GoodY #development
Mathematical Methods for Digital Systems Development (DIG, WDY), pp. 406–430.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.