FANDOM


  • Jpbowen

    Researchers and practitioners in the area of formal methods are welcome to post relevant information relating to formal methods on this wiki. Other spam material is not welcome and will be deleted.

    -- Jonathan Bowen

    Read more >
  • Jpbowen

    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)


    Read more >
Community content is available under CC-BY-SA unless otherwise noted.