DE

Modul

Decision Procedures with Applications to Software Verification [M-INFO-104381]

Credits

5

Recurrence

Jedes Wintersemester

Duration

1 Semester

Language

German/English

Level

4

Version

1

Responsible

Prof. Dr. Carsten Sinz

Organisation

KIT-Fakultät für Informatik

Part of

Information Systems (M.Sc.)

Bricks

Identifier	Name	LP
T-INFO-108955	Decision Procedures with Applications to Software Verification	5