Tag der Informatik 2008: Hauptvortrag: Compositional Verfication and 3-valued Abstraction Join Forces (Fr, 05.12.2008)
Zur Veranstaltungsseite
  • Einbetten