Category:Formal methods people

People involved with formal methods.

See also

Formal methods authors, Google Scholar

Subcategories

This category has only the following subcategory.

L

Logic programming researchers (15 P)

Pages in category "Formal methods people"

The following 143 pages are in this category, out of 143 total. This list may not reflect recent changes.

A

B

C

D

E

F

G

H

J

K

L

M

N

Greg Nelson (computer scientist)

O

P

R

S

T

V

W

Z

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Formal_methods_people&oldid=952540481"

Uses material from the Wikipedia article Category:Formal methods people, released under the CC BY-SA 4.0 license.