Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Proving conditional termination

Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, and Mooly Sagiv

Details

Publication typeInproceedings
Published inCAV'2008: Computer-Aided Verification
Volume5123
SeriesLNCS
PublisherSpringer
> Publications > Proving conditional termination