1
Published 2008
Table of Contents: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Keynote Presentations -- Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases...
View full text
Electronic eBook