Publicacions en què col·labora amb Iván García Ferreira (1)

2016

  1. Static analysis: A brief survey

    Logic Journal of the IGPL, Vol. 24, Núm. 6, pp. 871-882