![](http://upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
Wikimedia Commons has media related to Formal methods people.
People involved with formal methods.
See also
edit- Formal methods authors, Google Scholar
Subcategories
This category has only the following subcategory.
L
- Logic programming researchers (16 P)
Pages in category "Formal methods people"
The following 140 pages are in this category, out of 140 total. This list may not reflect recent changes.