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
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
- User:Jpbowen
- Formal Methods Wiki — announcement
- MuseumsWiki, another Wikia↑ wiki