Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6029002 | Method and apparatus for analyzing computer code using weakest precondition | Ashraf Afifi, Dominic Chan, Joseph J. Comuzzi, Johnson M. Hart | 2000-02-22 |
| 5838979 | Process and tool for scalable automated data field replacement | Johnson M. Hart, Ashraf Afifi, Dominic Chan | 1998-11-17 |