ARS 2020: Track on Verification

Track on Verification –
Sanjiva Prasad, IIT Delhi ;
S P Suresh, CMI ;
Aseem Rastogi, Microsoft Research.
Track moderator : R Ramanujam, IMSC

日期：
演讲者：
Sanjiva Prasad, S P Suresh, Aseem Rastogi, R Ramanujam
所属机构：
IIT Delhi, CMI, Microsoft Research, IMSC

接下来观看