Recurrent sets for non-termination and safety of programs

Alexey Bakhirkin. Recurrent sets for non-termination and safety of programs. PhD thesis, University of Leicester, UK, 2016. [doi]

No reviews for this publication, yet.