Static Slicing of Reactive Programs.

Aditya Rajeev Kulkarni, S. Ramesh

Browse the full SCAM paper archive.