Prof. Jonathan P. Bowen set up this wiki↑ for use by the formal methods community.

Jonathan Bowen is the Treasurer of BCS-FACS. He was formerly the Chair.

See also Edit

• User:Jpbowen
• Formal Methods Wiki — announcement
• MuseumsWiki, another Wikia↑ wiki

External links Edit

• Jonathan P. Bowen homepage
• Wikipedia:Jonathan Bowen