Accéder directement au contenu

Rémi Douence

1
Documents
Affiliations actuelles
  • 495900
  • 489559

Domaines de recherche

Génie logiciel [cs.SE]

Compétences

Functional Languages Semantics Certified Programming Haskell Agda Java Object-Oriented Languages

Publications

"zheng-cheng"