PCS954 Model Checking and Software Verification
Emneplan for studieåret 2020/2021
Innhold og oppbygning
Emnebeskrivelsen finnes kun på engelsk, gå til våre engelske nettsider ved å klikke "English" øverst i menyfeltet
Emnebeskrivelsen finnes kun på engelsk, gå til våre engelske nettsider ved å klikke "English" øverst i menyfeltet