Verification of Complex Software
| Thesis title in Czech: |
Verification of Complex Software |
| Thesis title in English: |
|
| Academic year of topic announcement: |
2005/2006 |
| Thesis type: |
dissertation |
| Thesis language: |
|
| Department: |
Department of Software Engineering (32-KSI) |
| Supervisor: |
RNDr. Filip Zavoral, Ph.D. |
| Author: |
hidden - assigned and confirmed by the Study Dept. |
| Date of registration: |
01.10.2005 |
| Date of assignment: |
01.10.2005 |
| Preliminary scope of work |
|
