![]() |
![]() |
|
Courses | ||
![]() |
![]() |
![]() |
![]() |
|
Verification of Concurrent Programs |
![]() |
|||
held by: |
Dr. Corneliu Popeea Univ.-Prof. Dr. Andrey Rybalchenko Dr. Alexander Malkis |
||
held in: | SS 2012 | ||
sws: | 2 | ||
ects: | 4 | ||
more information: | /um/courses/seminar/verifconc/SS2012 | ||
![]() |
![]() |