EasyChair Smart Slide
Harnessing the Strength of Statistics and Visualization in Verification
Harnessing the Strength of Statistics and Visualization in Verification