Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10241904 | Test components factorization in a build system | Suresh Thummalapenta, Jacek A. Czerwonka, Shuvendu K. Lahiri, Nikolaj S. Bjorner | 2019-03-26 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10241904 | Test components factorization in a build system | Suresh Thummalapenta, Jacek A. Czerwonka, Shuvendu K. Lahiri, Nikolaj S. Bjorner | 2019-03-26 |