Arbeitsgruppe Rechnergestützte Programmentwicklung

Forschungsinteressen

  • Relationenalgebra
  • Graphalgorithmen
  • Softwareverifikation
  • Automatische und interaktive Theorembeweiser