Formal Methods at Microsoft – Nikolaj Bjørnerhttps://www.youtube.com/watch?v=GEsvGGp0jyQ by ahelwer • 4 years ago 2 0 4 years agoYOyoutube.com