"A Flexible Framework for Visualisation of Computational Properties of ..."

Flávio L. C. de Moura et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics