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