Static Analysis for Model Checking
Project: PhD
- Terepeta, Michal Tomasz (Phd Student)
- Nielson, Hanne Riis (Main Supervisor)
| Status | Current |
|---|---|
| Period | 01-08-10 → 31-07-13 |
| Financing source | Internal funding (public) |
|---|---|
| Research programme | 1/3 FUU, 1/3 inst 1/3 Andet |
ID: 2331569