A Theory of Slicing for Probabilistic Control Flow Graphs.

Torben Amtoft, Anindya Banerjee

Browse the full FOSSACS paper archive.