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

Byron Cook, Andreas Podelski, and Andrey Rybalchenko

Details

Publication typeInproceedings
Published inPLDI'2007: Programming Language Design and Implementation
Pages320–330
PublisherACM Press
> Publications > Proving thread termination