vix.ing · top · new · best · stats · spec

Ganty, Pierre

  1. Sound up-to techniques and Complete abstract domains
    2018/04/27 by Bonchi, Filippo, Ganty, Pierre, Giacobazzi, Roberto +1 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)