Formal Methods at Microsoft – Nikolaj Bjørner(youtube.com)2 points·by ahelwer·il y a 4 ans·0 commentsyoutube.comFormal Methods at Microsoft – Nikolaj Bjørnerhttps://www.youtube.com/watch?v=GEsvGGp0jyQ0 commentsPost comment—