Algorithms and Logics for Verification

Vingerafdruk

Verdiep u in de onderzoeksgebieden waarop Algorithms and Logics for Verification actief is. Deze onderwerplabels komen uit het werk van de leden van deze organisatie. Samen vormen ze een unieke vingerafdruk.

Rekenkunde

Engineering en materiaalwetenschappen