Zing

Établi : December 8, 2003

Publications

Afficher par:

- Depth Bounded Explicit State Model Checking
  
  , , Sriram Rajamani
  
  MSR-TR-2011-5 | January 2011
  
  Publication

- Depth Bounded Explicit State Model Checking
  
  , , Sriram Rajamani
  
  MSR-TR-2011-5 | January 2011
  
  Publication

- Depth Bounded Explicit State Model Checking
  
  , , Sriram Rajamani
  
  MSR-TR-2011-5 | January 2011
  
  Publication

Personne

Sriram Rajamani

Corporate Vice President, Microsoft Research