Daniel J. Sorin

Latest

• Rigorous Evaluation of Computer Processors with Statistical Model Checking