Issued Patents 2011
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8074117 | Inference of contract using declarative program definition | Kenneth D. Wolf, Nicholas Alexander Allen, Kirill Gavrylyuk, Edmund Samuel Victor Pinto, Tao Xie | 2011-12-06 |