Redirecting to External Site

You will now be redirected to https://youtu.be/ygsY2LlWyQI to view video Haniel Barbosa - Better SMT proofs for certifying compliance and correctness - IPAM at UCLA.