×

zbMATH — the first resource for mathematics

Spot-checkers. (English) Zbl 1027.68514
STOC ’98. Proceedings of the 30th annual ACM symposium on theory of computing, Dallas, TX, USA, May 23-26, 1998. New York, NY: ACM, Association for Computing Machinery. 259-268 (1998).

MSC:
68N01 General topics in the theory of software
Keywords:
spot-checking
PDF BibTeX XML Cite