|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Compositional Termination Proofs for Multi-threaded Programs
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Corneliu Popeea and Andrey Rybalchenko. Compositional termination proofs for multi-threaded programs. In TACAS, March 2012.
Suggested BibTeX entry:
@inproceedings{PopeeaTACAS12,
author = {Corneliu Popeea and Andrey Rybalchenko},
booktitle = {TACAS},
month = {March},
title = {Compositional Termination Proofs for Multi-threaded Programs},
year = {2012}
}
|
![](../g/pixel.png) |
| This work is not available online here. |
|
|
|
|
|
|
|
|