Revision as of 03:34, 19 July 2005 edit Sozin (talk \| contribs) 22 edits →Dynamic verification (Test, Experimentation) ← Previous edit		Revision as of 07:22, 17 October 2005 edit undo Thv (talk \| contribs) Extended confirmed users 1,360 edits m +see also "why" tool Next edit →
Line 32: == References == * [[Carlo Ghezzi]], [[Mehdi Jazayeri]], [[Dino Mandrioli]]: ''Fundamentals of Software Engineering'', Prentice Hall, ISBN 013099183X == See also == *[http://why.lri.fr/index.en.html Why: a software verification tool] [[Category:Software testing]]

Software verification: Difference between revisions