Miroslav Pajic

Latest

• Rigorous Evaluation of Computer Processors with Statistical Model Checking