Travelled to:
1 × USA
Collaborated with:
S.Rawat R.Camposano A.Kahng J.Sawicki M.Gianfagna N.Zafar
Talks about:
where (1) proof (1) valu (1) dfm (1)
Person: A. Sharan
DBLP: Sharan:A=
Contributed to:
Wrote 1 papers:
- DAC-2006-RawatCKSGZS #named #proving #question
- DFM: where’s the proof of value? (SR, RC, AK, JS, MG, NZ, AS), pp. 1061–1062.