PCS954 Model Checking and Software Verification
Emneplan for studieåret 2018/2019
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