1
出版 2010
书本目录: ... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...
获取全文
电子 电子书