Slicing concurrent programs (1993)

by J Cheng
Venue:In Automated and Algorithmic Debugging, 1st Intl. Workshop, LNCS 749