Formal Methods Wiki
m (Added category)
m (Added category)
Line 21: Line 21:
 
[[Category:Z book]]
 
[[Category:Z book]]
 
[[Category:1956]]
 
[[Category:1956]]
  +
[[Category:United Kingdom]]

Revision as of 21:13, 15 July 2010

Jonathan Bowen

Jonathan Bowen


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

External links