Program checkers for algebraic problems*

• Authors:

• Manuel Blum;Sampath Kumar Kannan

• Affiliations:

• University of California, Berkeley, CA;University of California, Berkeley, CA

• Venue:
• Program checkers for algebraic problems*
• Year:
• 1990