Tarun Arora (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava: Explaining Program Execution in Deductive Systems. DOOD 1993: 101-119

1 Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava: Explaining Program Execution in Deductive Systems. LPE 1993: 1-7

Selection of 2 from 2 records - Tarun Arora has 4 coauthors

2		Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava: Explaining Program Execution in Deductive Systems. DOOD 1993: 101-119
1		Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava: Explaining Program Execution in Deductive Systems. LPE 1993: 1-7