Revision as of 08:28, 4 January 2007 edit 61.12.20.130 (talk) →Static verification (Analysis) ← Previous edit		Revision as of 14:22, 4 January 2007 edit undo Al17 (talk \| contribs) 91 edits m →Static verification (Analysis): rvv Next edit →
Line 33: * [[Software metric]]s calculation * [[Formal verification]] ~~eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeefffffffffffcccccccccccccccc~~ == References ==

Software verification: Difference between revisions