DAT354 Model Checking and Software Verification

Innhold og oppbygning

Emnebeskrivelsen finnes kun på engelsk, gå til våre engelske nettsider ved å klikke "English" øverst i menyfeltet