People involved with formal methods. See also Who's Who in Formal Methods.
There are 17 pages in this section of this category.
Categories: Formal methods | Computer scientists | Computer specialists