Proving thread termination.
| Autor: | Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey |
|---|---|
| Zdroj: | Proceedings of the 2007 ACM SIGPLAN Conference: Programming Language Design & Implementation; 6/10/2007, p320-330, 11p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|