Proving program termination
Cook, Byron, Podelski, Andreas, Rybalchenko, AndreyVolume:
54
Language:
english
Journal:
Communications of the ACM
DOI:
10.1145/1941487.1941509
Date:
May, 2011
File:
PDF, 3.55 MB
english, 2011