Diese Seite auf DE

Event

Decision Procedures with Applications to Software Verification [WS197500212]

Type
exam (PR)
Term
WS 19/20
SWS
Language
German
Appointments
2
Links
ILIAS

Lecturers

Organisation

  • ITI Sinz

Part of

Appointments

  • 02.03.2020 10:00 - 15:00
  • 27.03.2020 10:00 - 15:00