[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - From program verification to program synthesis
Srivastava, Saurabh, Gulwani, Sumit, Foster, Jeffrey S.Year:
2010
Language:
english
DOI:
10.1145/1706299.1706337
File:
PDF, 534 KB
english, 2010