Proving Non-Termination
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, and Ru-Gang Xu
2008
In POPL'2008: Principles of Programming Languages
Publisher ACM Press
Details
| Type | Inproceedings |
| Pages | 147–158 |
Related Labs
Share
