Marie-Christine Jakobs

Prof. Dr. Marie-Christine Jakobs

Arbeitsgebiet(e)

  • Semantik und Verifikation paralleler Systeme

zur Liste