Category:Formal methods people
From HandWiki
Here is a list of articles in the category Formal methods people of the Biography portal. People involved with formal methods.
See also
- Formal methods authors, Google Scholar
Pages in category "Formal methods people"
The following 114 pages are in this category, out of 114 total.
A
B
C
D
G
H
J
L
M
P
R
S
- Biography:Klaus Samelson
- Biography:Augusto Sampaio
- Biography:Don Sannella
- Biography:Gunther Schmidt
- Biography:Dana Scott
- Biography:Kaisa Sere
- Biography:Natarajan Shankar
- Biography:Michael W. Shields
- Biography:Jawed Siddiqi
- Biography:Ib Holm Sørensen
- Biography:Michael Spivey
- Biography:Joe Stoy
- Biography:Christopher Strachey
