![](/img/cover-not-exists.png)
[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - Program verification through characteristic formulae
Charguéraud, ArthurYear:
2010
Language:
english
DOI:
10.1145/1863543.1863590
File:
PDF, 504 KB
english, 2010