Works matching IS 13670751 AND DT 2016 AND VI 24 AND IP 6


Results: 10
    1
    2
    3
    4
    5

    Static analysis: a brief survey.

    Published in:
    Logic Journal of the IGPL, 2016, v. 24, n. 6, p. 871, doi. 10.1093/jigpal/jzw042
    By:
    • GARCÍA-FERREIRA, IVÁN;
    • LAORDEN, CARLOS;
    • SANTOS, IGOR;
    • GARCIA BRINGAS, PABLO
    Publication type:
    Article
    6
    7

    CISIS14-IGPL.

    Published in:
    Logic Journal of the IGPL, 2016, v. 24, n. 6, p. 869, doi. 10.1093/jigpal/jzw054
    By:
    • GARCÍA BRINGAS, PABLO;
    • DE LA PEÑA SORDO, JORGE;
    • DE LA PUERTA, JOSÉ GAVIRIA;
    • HERRERO, ÁLVARO;
    • QUINTIÁN, HÉCTOR;
    • CORCHADO, EMILIO
    Publication type:
    Article
    8
    9
    10