div class=trans-pagebutton class=gotoPage data-page=1Page 1button div class=trans-imageimg data-url=documentfmi-fmifi-international-verification-methods-workshop-june-4-a-10-2009-tohtmlpage=1 data-page=1 class=trans-thumb lazyload alt=Page 1: perttinurmi@fmi · perttinurmi@fmifi International Verification Methods Workshop June 4 — 10 2009 TO be held at FfV11 Helsinki Finland Tutorial Session: June 4-6 Scientific loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAQAAAC1HAwCAAAAC0lEQVR42mM8Uw8AAh0BTZud3BwAAAAASUVORK5CYII= data-src=https:reader034fdocumentsnetreader034viewer20220502195f6486f3ff4c945e03665478html5thumbnails1jpg width=140 height=200 divpperttinurmi@fmifipdivdiv class=trans-pagebutton class=gotoPage data-page=2Page 2button div class=trans-imageimg data-url=documentfmi-fmifi-international-verification-methods-workshop-june-4-a-10-2009-tohtmlpage=2 data-page=2 class=trans-thumb lazyload alt=Page 2: perttinurmi@fmi · perttinurmi@fmifi International Verification Methods Workshop June 4 — 10 2009 TO be held at FfV11 Helsinki Finland Tutorial Session: June 4-6 Scientific loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAQAAAC1HAwCAAAAC0lEQVR42mM8Uw8AAh0BTZud3BwAAAAASUVORK5CYII= data-src=https:reader034fdocumentsnetreader034viewer20220502195f6486f3ff4c945e03665478html5thumbnails2jpg width=140 height=200 divpperttinurmi@fmifipdiv