JOSÉ LUIS
SIERRA RODRÍGUEZ
Catedrático de universidad
RUBÉN
FUENTES FERNÁNDEZ
Catedrático de universidad
Publicaciones en las que colabora con RUBÉN FUENTES FERNÁNDEZ (1)
2009
-
Model-checking for adventure videogames
Information and Software Technology, Vol. 51, Núm. 3, pp. 564-580