Catherine Parent
IdRefMots clés
FR
Sciences appliquees
Informatique, automatique theorique, systemes
Preuve programme
Specification programme
Verification programme
Determinisme genetique
Triage
Lambda calcul
Program proof
Program specification
Program verification
Genetic inheritance
Sorting
Lambda calculus
Flots de données synchrones
Preuves déductives
Lustre
Pvs
B
Induction, co-induction