Iván
García Ferreira
Publications dans lesquelles il/elle collabore avec Iván García Ferreira (1)
2016
-
Static analysis: A brief survey
Logic Journal of the IGPL, Vol. 24, Núm. 6, pp. 871-882