“Prof. Jonathan P. Bowen set up this wiki↑ for use by the formal methods community. Jonathan...Jonathan Bowen
“I have created a new Formal Methods Wiki under http://formalmethods.wikia.com . This includes...Formal Methods Wiki announcement
This category has only the following subcategory.
- [×] Z book (4 P, 14 F)
Pages in category "Jonathan Bowen"
The following 5 pages are in this category, out of 5 total.