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
5th edition of CASH paper presentation
March 6 at 9:30
Salle 316
Program: