Formal Methods at Microsoft – Nikolaj Bjørner(youtube.com)2 ポイント·投稿者 ahelwer·4 年前·0 コメントyoutube.comFormal Methods at Microsoft – Nikolaj Bjørnerhttps://www.youtube.com/watch?v=GEsvGGp0jyQ0 コメントコメントを投稿—