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: |