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

Agarwal, Pratyush

  1. Stateless Model Checking under a Reads-Value-From Equivalence
    2021/05/13 by Agarwal, Pratyush, Chatterjee, Krishnendu, Pathak, Shreya +2 · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)