Investigation of a delayed differential equation with verified computing technique [abstract] - Bánhelyi Balázs (Conference of PhD Students in Computer Science, 2006)