Redirecting to External Site

You will now be redirected to https://youtu.be/cvfqYJhiWys to view video Samuel Pollard - Formal Verification of High Consequence Systems.