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

더 보기