| Software Verification (VL) |
| Subtitle: |
| This course is part of the module: Software Verification |
| Semester: |
| WiSe 23/24 |
| Course type: |
| Lecture |
| Course number: |
| lv629_w23 |
| Lecturer: |
| Prof. Dr. Sibylle Renate Schupp, Antje Rogalla |
| Description: |
|
| Performance accreditation: |
| 610 - Software Verification<ul><li>610 - Software Verification: Klausur schriftlich</li></ul><br>611 - Software Verification<ul><li>610 - Software Verification: Klausur schriftlich</li><li>811 - Software Verification - Exercises: Excercises</li></ul> |
| ECTS credit points: |
| 3 |
| Stud.IP informationen about this course: |
Home institute: Institut für Softwaresysteme (E-16)
Registered participants in Stud.IP: 76
Postings: 23
Documents: 6
|
