In Defense of Program Testing, or Correctness Proofs Considered Harmful

Research output: Contribution to JournalArticleAcademicpeer-review

74 Downloads (Pure)
Original languageEnglish
Pages (from-to)64-68
JournalSIGPLAN notices
Volume11
Issue numberMay
DOIs
Publication statusPublished - 1976

Cite this