Issued Patents All Time
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 7526750 | Object-based systematic state space exploration of software | Anthony D. Andrews, Shaz Qadeer, Niels Jakob Rehof, Sriram K. Rajamani | 2009-04-28 | $32,077,000 |