LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
jahob_system_sets [2009/01/30 12:15]
wies
jahob_system_sets [2009/02/08 11:52] (current)
vkuncak
Line 6: Line 6:
   * [[ThreadedTree.java]]   * [[ThreadedTree.java]]
  
-For the description of the underlying technique, see the [[http://​lara.epfl.ch/​~kuncak/​papers/​FOO|recent paper]].+For the description of the underlying technique, see the [[http://​lara.epfl.ch/​~kuncak/​papers/​KuncakWies09SetDrivenCombinationofLogicsandVerifiers.html|recent paper]].
  
 For more information,​ see also the [[Jahob system]] For more information,​ see also the [[Jahob system]]