Zing

成立时间：December 8, 2003

论文与出版物

查看方式：

- Depth Bounded Explicit State Model Checking
  
  , , Sriram Rajamani
  
  MSR-TR-2011-5 | January 2011
  
  论文与出版物

- Depth Bounded Explicit State Model Checking
  
  , , Sriram Rajamani
  
  MSR-TR-2011-5 | January 2011
  
  论文与出版物

- Depth Bounded Explicit State Model Checking
  
  , , Sriram Rajamani
  
  MSR-TR-2011-5 | January 2011
  
  论文与出版物

人员

Sriram Rajamani

Corporate Vice President, Microsoft Research