| 
|
Quote: neither structured programming nor proofs of correctness attempt to check the specification itself
topics >
all references >
references a-b >
Topic:
program proving is infeasible
Topic:
specification errors
Quotation Skeleton
The problem of specifications is raised here because … their task Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proving is infeasible (46 items)
Topic: specification errors (10 items)