Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6029002 | Method and apparatus for analyzing computer code using weakest precondition | Ashraf Afifi, Dominic Chan, Johnson M. Hart, Antonio Pizzarello | 2000-02-22 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6029002 | Method and apparatus for analyzing computer code using weakest precondition | Ashraf Afifi, Dominic Chan, Johnson M. Hart, Antonio Pizzarello | 2000-02-22 |