Tarun Arora

	1993
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

Coauthor Index

1	Raghu Ramakrishnan	[1] [2]
2	William G. Roth	[1] [2]
3	Praveen Seshadri	[1] [2]
4	Divesh Srivastava	[1] [2]