Publications by the researcher in collaboration with 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