Ralf Treinen
IdRefMots clés
FR |
EN
Génie logiciel empirique
Logiciels libres
OCaml
Objective Caml (langage de programmation)
Vérification de modèles (informatique)
Logique du second ordre
Raisonnement non-monotone
Représentation des connaissances
Simulation par ordinateur
Biologie -- Informatique
Biologie moléculaire
Assistant de preuve
GitHub
Collaboration ouverte
Ecosystème de paquets
Evolution du logiciel
Logiciels -- Maintenance
Coq (logiciel)
Git (logiciel)
Programmation