Events

e70
September 04, 2008PhD Defense: Testing Reactive Systems with Data - Enumerative Methods and Constraint Solving
Jens Calamé

To be announced.