Proving conditional termination

In  CAV'2008: Computer-Aided Verification

Publisher  Springer

Details

TypeInproceedings
Volume5123
SeriesLNCS
> Publications > Proving conditional termination