Publikationen, an denen er mitarbeitet RUBÉN FUENTES FERNÁNDEZ (1)

2009

  1. Model-checking for adventure videogames

    Information and Software Technology, Vol. 51, Núm. 3, pp. 564-580