| 
|
QuoteRef: wassAI3_1979
topics >
all references >
ThesaHelp:
references t-z
Topic:
program proving is infeasible
Reference
Wasserman, A.I., "Testing and verification aspects of Pascal-like languages", Computer Languages, 4, 3/4, pp. 155-169, 1979. Google
156 ;;Quote: feature interaction makes program validation complicated
ThesaHelp: references t-z (309 items)
Topic: program proving is infeasible (46 items)