Hellow guys, Welcome to my website, and you are watching Mark-Oliver Stehr, Formal Methods in the Dev. of HA Secure Systems (July 30, 2003). and this vIdeo is uploaded by securitylectures at 2012-08-25T19:14:54-07:00. We are pramote this video only for entertainment and educational perpose only. So, I hop you like our website.
