Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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:
 
predicate_abstraction.txt · Last modified: 2009/04/08 01:22 by vkuncak
 
© EPFL 2018 - Legal notice