| 
|
Quote: a verification may not be transferable to any other program; prevents social processes
topics >
all references >
references c-d >
Topic:
program proving is infeasible
Quotation Skeleton
There is no reason to believe that a … from the original. And it is this discontinuity … proofs. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proving is infeasible (46 items)