div class=trans-pagebuttonPage 1button div class=trans-image amp-img class=trans-thumb 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 src=https:reader034fdocumentsnetreader034viewer20220502195f6486f3ff4c945e03665478html5thumbnails1jpg width=142 height=106 layout=responsive amp-img divpperttinurmi@fmifipdivdiv class=trans-pagebuttonPage 2button div class=trans-image amp-img class=trans-thumb 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 src=https:reader034fdocumentsnetreader034viewer20220502195f6486f3ff4c945e03665478html5thumbnails2jpg width=142 height=106 layout=responsive amp-img divpperttinurmi@fmifipdiv