| 
|
Quote: since a program is a human artifact it will contain imperfections and can never be verified
topics >
all references >
references c-d >
Topic:
program proving is infeasible
Quotation Skeleton
What message would he really find, supposing that … programmer would make a change, feed the program … A program is a human artifact; and any … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proving is infeasible (46 items)