5th cash reading group

5th edition of CASH paper presentation
March 6 at 9:30
Salle 316

Program:

• Julien Braine presents:
  Counterexample-guided Abstraction Refinement de Edmund Clarke
  , Orna Grumberg, Somesh Jha
  , Yuan Lu
  , et Helmut Veith.
  CAV 2000