On the Termination of Integer Loops
Ben-Amram, Amir M., Genaim, Samir, Masud, Abu Naser
Published in Verification, Model Checking, and Abstract Interpretation (2012)
Published in Verification, Model Checking, and Abstract Interpretation (2012)
Get full text
Book Chapter