Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Project

Dualiteitstheorie voor verificatieformalismen

Informatie

Projectteam

Output en outcomes

Promotor

Andreas Weiermann

Vakgroep Wiskunde: Analyse, Logica en Discrete Wiskunde

Copromotor

David Fernández-Duque

Vakgroep Wiskunde: Analyse, Logica en Discrete Wiskunde

Mandaathouder

Brett McLean

Vakgroep Wiskunde: Analyse, Logica en Discrete Wiskunde