P

Inventor

MITRA SAYAN

US1 patents

Patents

1 patent
US10061876B2Aug 28, 2018

Bounded verification through discrepancy computations

UNIV ILLINOIS3 citations62