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

Calin, Georgel

  1. Lazy TSO Reachability
    2015/01/12 by Bouajjani, Ahmed, Calin, Georgel, Derevenetc, Egor +1 · 1 citation
    #68Q60 #D.1.3 #D.2.4 #D.3.4 #FOS: Computer and information sciences #Programming Languages (cs.PL)