@dblp

Simulating the Behavior of Software Modules by Trace Rewriting.

, and . IEEE Trans. Software Eng., 20 (10): 750-759 (1994)

Links and resources

Tags