Events

e69
April 10, 2008Inaugural Speech: Multi-core Computing meets Formal Methods
Jaco van de Pol

To be announced.