Diese Seite auf DE

Event

Decision Procedures with Applications to Software Verification [WS217500212]

Type

exam (PR)

Term

WS 21/22

SWS

Language

German

Appointments

2

Links

ILIAS

Lecturers

Prof. Dr. Carsten Sinz

Organisation

ITI Sinz

Part of

Brick Decision Procedures with Applications to Software Verification | Information Systems (M.Sc.)

Appointments

25.02.2022 10:00 - 15:00 - Room: 50.34 Raum 236
08.04.2022 10:00 - 15:00 - Room: 50.34 Raum 236