Verification by Error ModelingKatarzyna Radecka, Zeljko ZilicPocketEngelskDel av serien Frontiers in Electronic TestingLegg i handlekurvNettlager