Proving conditional termination
Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, and Mooly Sagiv
2008
In CAV'2008: Computer-Aided Verification
Publisher Springer
Details
| Type | Inproceedings |
| Volume | 5123 |
| Series | LNCS |
Share
Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, and Mooly Sagiv
2008
In CAV'2008: Computer-Aided Verification
Publisher Springer
| Type | Inproceedings |
| Volume | 5123 |
| Series | LNCS |
