-
-
-
-
-
-
-
Economics-of-Software-Verification.rar
How can we determine the added value of software verification
techniques over the more readily available conventional testing
... the cost?
Categories and Subject Descriptors
D.2.4 [Software/Program Verification]: Formal methods,
validation F.3.1 [ ...
-
-
-
-
-