Travelled to:
1 × USA
Collaborated with:
S.Rawat R.Camposano A.Kahng J.Sawicki M.Gianfagna A.Sharan
Talks about:
where (1) proof (1) valu (1) dfm (1)
Person: Naeem Zafar
DBLP: Zafar:Naeem
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.