Alternation for Termination

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15769-1_19 ◽

2010 ◽

pp. 304-319 ◽

Cited By ~ 25

Author(s):

William R. Harris ◽

Akash Lal ◽

Aditya V. Nori ◽

Sriram K. Rajamani

Download Full-text