Talk:Formal specification

From Wikipedia, the free encyclopedia

[edit] Merge with formal methods?

Shouldn't this article be merged with formal methods? Also, specification language covers a very similar topic. --Tillmo (talk) 22:03, 7 December 2007 (UTC)