Revision as of 04:31, 6 February 2008 edit SineBot (talk \| contribs) Bots 2,564,678 edits m Signing comment by Parallelized - "→Formal Methods: " ← Previous edit		Revision as of 14:29, 22 June 2009 edit undo JustinMH (talk \| contribs) 2 edits →Formal Methods Next edit →
Line 21: ==Formal Methods== Why is the bit about formal methods included in this page and then there is a link to the full page that already exists on wikipedia?[[User:Dave clark86\|Dave clark86]] ([[User talk:Dave clark86\|talk]]) 20:07, 29 November 2007 (UTC) Maybe I'm being to picky, but if you're going to use the word 'most' in relation to infinite set ('undecidable problems'), don't you need to specify what sort of 'most' your talking about? = Related Links =

Talk:Static program analysis: Difference between revisions