Revision as of 10:05, 13 October 2006 edit 61.6.254.4 (talk) No edit summary ← Previous edit		Revision as of 08:28, 4 January 2007 edit undo 61.12.20.130 (talk) →Static verification (Analysis) Next edit →
Line 33: * [[Software metric]]s calculation * [[Formal verification]] eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeefffffffffffcccccccccccccccc == References ==

Software verification: Difference between revisions