Proving Non-Termination

In  POPL'2008: Principles of Programming Languages

Publisher  ACM Press

Details

TypeInproceedings
Pages147–158
> Publications > Proving Non-Termination