Model Checking of Code and Component Specifications
| Thesis title in Czech: | Model Checking of Code and Component Specifications |
|---|---|
| Thesis title in English: | |
| Academic year of topic announcement: | 2006/2007 |
| Thesis type: | diploma thesis |
| Thesis language: | |
| Department: | Department of Software Engineering (32-KSI) |
| Supervisor: | prof. Ing. František Plášil, DrSc. |
| Author: |