PhD Defense: Testing Reactive Systems with Data - Enumerative Methods and Constraint Solving
When: Sept. 4, 2008, 0:00 - Sept. 4, 2008, 23:59
Who: Jens Calamé
To be announced.
PhD Defense: Testing Reactive Systems with Data - Enumerative Methods and Constraint SolvingWhen: Sept. 4, 2008, 0:00 - Sept. 4, 2008, 23:59 Who: Jens Calamé To be announced. |