Any contributions relating to formal methods are welcome on the Formal Methods Wiki. Don't worry too much about correct formatting, etc. Another editor is likely to improve your article once it has been created. So please add an article on your favorite formal methods topic today! --Jonathan Bowen 00:38, December 7, 2009 (UTC)
Jonathan Bowen
www.jpbowen.com