"Induction of High-level Behaviors from Problem-solving Traces using ..."

Vivien Robinet et al. (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics