Iván García Ferreira-rekin lankidetzan egindako argitalpenak (1)

2016

  1. Static analysis: A brief survey

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