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]

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page