Dimitri Tsarkov

From OWL
Revision as of 07:17, 7 December 2007 by SandroHawke (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

See http://img.cs.manchester.ac.uk/people/#dts

Dimitri was introduced at F2F1 as the implementor of FaCT++.