Dimitri Tsarkov

From OWL
Jump to: navigation, search

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

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