Projects per year
Projects
- 1 Finished
Search results
-
Automated quantitative software verification with PRISM
Kwiatkowska, M.
Engineering & Physical Science Research Council
1/01/07 → 31/03/10
Project: Research Councils