Piotr Filipiuk
Sort by: Start date
- Completed
Static Analysis and Model Checking of Software Systems
Filipiuk, P., Nielson, H. R., Nielson, F., Schmidt, D. A., Seidl, H. & Probst, C. W.
01-08-09 → 25-10-12
Project: PhD
Filipiuk, P., Nielson, H. R., Nielson, F., Schmidt, D. A., Seidl, H. & Probst, C. W.
01-08-09 → 25-10-12
Project: PhD