Explaining Program Execution in Deductive Systems

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.