Evenementen

Promotie Philip Kurtin

An Abstraction-Refinement Theory for the Analysis and Design of concurrent Real-Time Systems

Voor meer informatie zie de Engelse website.