"Verification and semantic parallelization of goal-driven autonomous software."

Damian Dechev et al. (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics