Till KTH:s startsida Till KTH:s startsida

Interactive Theorem Proving Course

Logga in till din gruppwebb

Du är inte inloggad på KTH så innehållet är inte anpassat efter dina val.

Open for PhD students and advanced master level students

Course code and description to be announced.

Administratörer