Ott Mihkel Tammepuu
| is involved in projects | |||
|---|---|---|---|
| no | reg no | project title, institution, position | duration |
| 1. | SF0140854s99 | Automaatse teoreemitõestamise meetodid formaalsete spetsifikatsioonide verfitseerimiseks (Tallinn Technical University, teadur) | 1999 - 2002 |