![](/img/cover-not-exists.png)
[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Proving that programs eventually do something good
Cook, Byron, Gotsman, Alexey, Podelski, Andreas, Rybalchenko, Andrey, Vardi, Moshe Y.Year:
2007
Language:
english
DOI:
10.1145/1190216.1190257
File:
PDF, 633 KB
english, 2007