Proving thread termination

In  PLDI'2007: Programming Language Design and Implementation

Publisher  ACM Press

Details

TypeInproceedings
Pages320–330
> Publications > Proving thread termination