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}} |
+ | {{stub}} |
+ | [[Category:Jonathan Bowen| ]] |
||
[[Category:People]] |
[[Category:People]] |
||
[[Category:BCS-FACS]] |
[[Category:BCS-FACS]] |
Revision as of 15:14, 2 April 2009
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