Ott Mihkel Tammepuu
| on seotud projektidega | |||
|---|---|---|---|
| nr | tunnusnumber | teema, asutus, amet | kestus |
| 1. | SF0140854s99 | Automaatse teoreemitõestamise meetodid formaalsete spetsifikatsioonide verfitseerimiseks (Tallinna Tehnikaülikool, teadur) | 1999 - 2002 |
| on seotud projektidega | |||
|---|---|---|---|
| nr | tunnusnumber | teema, asutus, amet | kestus |
| 1. | SF0140854s99 | Automaatse teoreemitõestamise meetodid formaalsete spetsifikatsioonide verfitseerimiseks (Tallinna Tehnikaülikool, teadur) | 1999 - 2002 |