Tarun Arora
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 1993 | ||
|---|---|---|
| 1 | Explaining Program Execution in Deductive Systems. Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava. DOOD 1993, 101-119. Cited by 27Web SearchBibTeXDownload | |
from DBLP and Google Scholar