Autores:
  • A convincing demonstration of correctness being impossible as long as the mechanism is regarded as a black box, our only hope lies in not regarding the mechanism as a black box.

    "Notes On Structured Programming" by Edsger Dijkstra, April 1970.
A convincing demonstration of correctness being impossible as long as the mechanism is regarded as a black box, our only hope lies in not regarding the mechanism as a black box. - Edsger Dijkstra
Empotrar: