Accueil
Au hasard
À proximité
Se connecter
Configuration
Faire un don
À propos de Wikipédia
Avertissements
Rechercher
Catégorie
:
Personnalité en méthodes formelles
Langue
Suivre
Modifier
Pages dans la catégorie « Personnalité en méthodes formelles »
Cette catégorie contient les 37 pages suivantes.
Outils :
Arborescence
Graphique
Décompte
Recherche interne
PetScan
Suivi
A
Samson Abramsky
Jean-Raymond Abrial
Rajeev Alur
B
Egon Börger
Jonathan Bowen
Stephen D. Brookes
C
Edmund M. Clarke
Patrick Cousot
Radhia Cousot
D
Ole-Johan Dahl
David L. Dill
E
Allen Emerson
F
Robert Floyd
Robert France
G
Georges Gonthier
H
David Harel
Mark Harman
Thomas Henzinger
Charles Antony Richard Hoare
Gerard J. Holzmann
J
Michael A. Jackson
Joost-Pieter Katoen
Mathai Joseph
K
Stephen Cole Kleene
Donald Knuth
Marta Kwiatkowska
L
Nancy Leveson
O
Peter O'Hearn
P
Amir Pnueli
R
John C. Reynolds
John Alan Robinson
S
Arthur Samuel
Joseph Sifakis
V
Helmut Veith
W
Benjamin Werner
Jeannette Wing
Martin Wirsing