Formal Methods Wiki
m (Added BCS-FACS info)
m (See Wikipedia)
Line 1: Line 1:
[[Image:Jonathan_Bowen.jpg|thumb|Jonathan Bowen]]
+
[[Image:Jonathan_Bowen.jpg|thumb|100px|Jonathan Bowen]]
  +
{{See Wikipedia}}
   
 
'''Prof. Jonathan P. Bowen''' set up this {{wp|wiki}} for use by the [[formal methods]] community.
 
'''Prof. Jonathan P. Bowen''' set up this {{wp|wiki}} for use by the [[formal methods]] community.
Line 15: Line 16:
 
{{DEFAULTSORT:Bowen, Jonathan}}
 
{{DEFAULTSORT:Bowen, Jonathan}}
   
{{stub}}[[Category:Jonathan Bowen| ]]
+
{{stub}}
  +
[[Category:Jonathan Bowen| ]]
 
[[Category:People]]
 
[[Category:People]]
 
[[Category:BCS-FACS]]
 
[[Category:BCS-FACS]]

Revision as of 15:14, 2 April 2009

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