@dblp

Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension.

, , , and . IWPC, page 89-97. IEEE Computer Society, (2001)

Links and resources

Tags