Tomasz Kloda

Équipe

TRUST : Trustworthy systems: foundations and practices
VERTICS : VERification des Systèmes Temporisés CritiqueS

Coordonnées

Courriel :

Téléphone :