Category:Formal methods people

From Wikipedia, the free encyclopedia

People involved with formal methods. See also Who's Who in Formal Methods.

Subcategories

This category has only the following subcategory.

O

Languages