See also: Wikipedia:Category:Formal methods people.
“The following is an eclectic list of people involved with formal methods who have a personal...Who's who
“Prof. Jonathan P. Bowen set up this wiki↑ for use by the formal methods community. Jonathan...Jonathan Bowen
“Paul Boca is the Secretary of BCS-FACS. He was previously the FACS FACTS newsletter editor.Paul Boca
This category has the following 4 subcategories, out of 4 total.
Pages in category "People"
The following 6 pages are in this category, out of 6 total.
Media in category "People"
This category contains only the following file.