author = {B. Buchberger},
title = {{Towards Algorithm Verification in Theorema}},
language = {english},
year = {1999},
month = {November 22},
annote = {1999-11-22-A},
note = {Contributed talk at Workshop on Validated Software, Schloss Dagstuhl, Germany},
conferencename = {Workshop on Validated Software, Schloss Dagstuhl, Germany}