×

zbMATH — the first resource for mathematics

Robust characterizations of polynomials with applications to program testing. (English) Zbl 0844.68062

MSC:
68Q25 Analysis of algorithms and problem complexity
68W30 Symbolic computation and algebraic computation
68Q60 Specification and verification (program logics, model checking, etc.)
68N99 Theory of software
PDF BibTeX XML Cite
Full Text: DOI