Accueil
🇫🇷
Chercher
Catégorie:Personnalité en méthodes formelles
Pages dans la catégorie « Personnalité en méthodes formelles »
Cette catégorie contient les 31 pages suivantes.
A
Jean-Raymond Abrial
Rajeev Alur
B
Egon Börger
Jonathan Bowen
Stephen D. Brookes
C
Edmund M. Clarke
Patrick Cousot
Radhia Cousot
D
David L. Dill
E
Allen Emerson
F
Robert Floyd
G
Georges Gonthier
H
Thomas Henzinger
Charles Antony Richard Hoare
Gerard J. Holzmann
J
Michael A. Jackson
Mathai Joseph
K
Stephen Cole Kleene
Donald Knuth
Marta Kwiatkowska
O
Peter O'Hearn
P
Amir Pnueli
Utilisateur:PPColignon/Brouillon
R
John C. Reynolds
John Alan Robinson
S
Arthur Samuel
Joseph Sifakis
V
Helmut Veith
W
Benjamin Werner
Jeannette Wing
Martin Wirsing