Photo de Didier Bert Didier BERT

CNRS
Laboratoire d'Informatique de Grenoble LIG
Institut IMAG (France)

logo pour accéder aux pages en français

petit pointeur rouge  Team "Software Specification and Validation" VASCO.
petit pointeur rouge  Contact.

Research areas

  • The B method
  • Algebraic and logic specification languages
  • Generic programming, implementation of parametrized modules, theory of modularity and inheritance