Timo Nummenmaa – Research output — Tampere University Research Portal

Research activity per year

If you made any changes in Pure these will be visible here soon.

36 Conference contribution
5 Commissioned report
4 Chapter
4 Article
More
- 1 Anthology
- 1 Doctoral thesis

1 results

Filter

2013

Executable Formal Specifications in Game Development : Design, Validation and Evolution
Nummenmaa, T., 2013, Tampere: Tampere University Press. (Acta Universitatis Tamperensis; no. 1875)
Research output: Book/Report › Doctoral thesis › Monograph