🧑🔬 Rahul Sharma — papers of 2013 — 1 paper, the most cited first1 paper · all years of Rahul SharmaData-Driven Equivalence CheckingOOPSLA 2013Rahul Sharma, Eric Schkufza, Berkeley Churchill, et al.2013 · 87 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/rahul-sharma/year/2013/