![](/img/cover-not-exists.png)
Program verification through characteristic formulae
Charguéraud, ArthurVolume:
45
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/1932681.1863590
Date:
September, 2010
File:
PDF, 504 KB
english, 2010