Calautti, Marco; Crupi, Felice; Greco, Sergio (2016-02-19)
The problem of programs termination is a fundamental problem in Computer
Science, and has always gained interest from research communities, due to the
challenge of dealing with a problem that has been proved to be ...