Torben Amtoft, Kelly Androutsopoulos, David Clark. Correctly Slicing Extended Finite State Machines. In Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan, editors, From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Volume 12065 of Lecture Notes in Computer Science, pages 149-197, Springer, 2020. [doi]
Abstract is missing.