PMAF：针对概率程序的代数静态分析框架

演示文稿

日期
4月 20, 2018 12:00 PM — 1:00 PM
事件
PLunch, Carnegie Mellon University
王迪
王迪
助理教授

朝着思想自由、兼容并包的计算机科学前进！