breezeing

代码指针完整性，VolodymyrKuznetsov∗,LászlóSzekeres‡,MathiasPayer†,§GeorgeCandea∗,R.Sekar‡,DawnSong†

国科大高级人工智能，数理逻辑，形式推演。台湾大学于天立教授“人工智慧”课程