[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Quantitative abstraction refinement
Cerny, Pavol, Henzinger, Thomas A., Radhakrishna, ArjunYear:
2013
Language:
english
DOI:
10.1145/2429069.2429085
File:
PDF, 763 KB
english, 2013