Issued Patents 2011
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8046746 | Symbolic execution of object oriented programs with axiomatic summaries | Nikolai Tillmann, Wolfram Schulte | 2011-10-25 |
| 7926025 | Symbolic program model compositions | Colin Campbell, Margus Veanes, Nicolas Kicillof, Nikolai Tillmann, Wolfram Schulte | 2011-04-12 |