Category talk:Formal methods

From Wikipedia, the free encyclopedia

I'm making the specification languages category a subcategory of this, rather than the other way around as it was. If someone has a good reason to switch it back feel free to explain and do so. Thanks. Leland McInnes 06:07, 11 December 2005 (UTC);;;;;;;;;;;;;;;;;;;;;;