@book{0b4795d2ed6e4f0d8695229716f05878,
title = "Executable Formal Specifications in Game Development : Design, Validation and Evolution",
keywords = "executable formal specifications, game design, game development, game evolution, pelievoluutio, pelikehitys, pelisuunnittelu, simulaatio, simulation, suoritettavat formaalit spesifikaatiot, executable formal specifications, game design, game development, game evolution, pelievoluutio, pelikehitys, pelisuunnittelu, simulaatio, simulation, suoritettavat formaalit spesifikaatiot",
author = "Timo Nummenmaa",
year = "2013",
language = "English",
isbn = "978-951-44-9275-4",
series = "Acta Universitatis Tamperensis",
publisher = "Tampere University Press",
number = "1875",
}