Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9372785 | Identifying implicit assumptions associated with a software product | Rui WANG, Yuchen Zhou, Shaz Qadeer, Yuri Gurevich | 2016-06-21 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9372785 | Identifying implicit assumptions associated with a software product | Rui WANG, Yuchen Zhou, Shaz Qadeer, Yuri Gurevich | 2016-06-21 |