1
出版 2008
書本目錄: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
獲取全文
電子 電子書
2
出版 2010
書本目錄: ...Keynote Presentations -- Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases...
獲取全文
電子 電子書