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

Unadkat, Divyesh

  1. Diffy: Inductive Reasoning of Array Programs using Difference Invariants
    2021/05/31 by Chakraborty, Supratik, Gupta, Ashutosh, Unadkat, Divyesh · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)