1
出版 2005
书本目录: ... Algorithm -- Implicit Computational Complexity and Rewriting -- A Propositional Proof System for Log Space...
获取全文
电子 电子书
2
出版 2006
书本目录: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
获取全文
电子 电子书
3
出版 2015
书本目录: ...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...
获取全文
电子 电子书