Iván
García Ferreira
Publicacións nas que colabora con 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