Pensum -10%Introducing Software Verification with Dafny LanguageBoro SitnikovskiPocketEngelskLegg i handlekurvUtsolgt
Pensum -10%Introduction to Dependent Types with IdrisBoro SitnikovskiPocketEngelskLegg i handlekurvUtsolgt