Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
predicate_abstraction [2007/05/02 09:44] vkuncak |
predicate_abstraction [2009/04/08 01:22] (current) vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | |||
- | Here is a link to ACM Digital library: http://portal.acm.org | ||
Some predicate abstraction papers: | Some predicate abstraction papers: |