Precise slicing of concurrent programs (0)

by D Giffhorn, C Hammer
Venue:Automated Software Engg