| 
|
QuoteRef: dijkEW_1976a
topics >
all references >
ThesaHelp:
references c-d
Topic:
programming without errors
Reference
Dijkstra, E.W., "Programming methodologies: Their objectives and their nature", pp. 203-216, in Bates, D. (ed.), Structured Programming: International State of the Art Report, Great Britain, Infotech International, 1976. Google
207 ;;Quote: if a large program is to be correct then the probability that a module is correct must be indistinguishable from 1
ThesaHelp: references c-d (337 items)
Topic: programming without errors (28 items)