Zie Agenda

Promotie Wytse Oortwijn

DEDUCTIVE TECHNIQUES FOR MODEL-BASED CONCURRENCY VERIFICATION

Voor meer informatie zie de Engelse website.