A Therory of Slicing for Probabilistic Control Flow Graphs written by Torben Amtoft (CIS) and Anindya Banerjee was accepted for presentation and publication

Author: 
Torben Amtoft (CIS) and Anindya Banerjee

The paper "A Theory of Slicing for Probabilistic Control Flow Graphs", written by Torben Amtoft (CIS) and Anindya Banerjee, was accepted for presentation and publication at the 19th International Conference on Foundations of Software Science and Computation Structures ( FoSSaCS'16), to be held as part of European Joint Conferences on Theory and Practice of Software (ETAPS) in Eindhoven, Netherlands, April 2016.