http://www.fmeurope.org/?p=309
2009年5月26日
Formal Methods Europe
Formal Methods wiki のサイトが新設された。URLは http://formalmethods.wikia.com 本サイトには、現在はオフラインであるが、新バージョンのバーチャルライブラリのページもある。
誰でも編集できるサイトなので、作成者のジョナサン・ボーウェンは、フォーマル・メソッズ・コミュニティのメンバーによる改善、更新、FM関連の新しい内容の追加を期待している。