| 
|
Quote: feature interaction makes program validation complicated
topics >
all references >
references t-z >
Topic:
program proving is infeasible
Quotation Skeleton
it is often the interactions among language features … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proving is infeasible (46 items)