581366
Spesifioinnin ja verifioinnin perusteet
Grunderna i specificering och verifiering
Introduction to Specification and Verification
Toistuminen
Joka toinen vuosi