Proving Non-Termination via Loop Acceleration
Keyword(s):
2011 ◽
Vol 383-390
◽
pp. 4385-4390
1975 ◽
Vol IECI-22
(2)
◽
pp. 179-186
◽