Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8180786 | Symbolic query exploration | Margus Veanes, Nikolai Tillmann, Jonathan Paul de Halleux | 2012-05-15 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8180786 | Symbolic query exploration | Margus Veanes, Nikolai Tillmann, Jonathan Paul de Halleux | 2012-05-15 |