Certificate-backed research on finite-sample conservatism of the Stringer audit bound
statistics computer-assisted-proof finite-sample audit-sampling exact-arithmetic monetary-unit-sampling
-
Updated
Aug 11, 2026 - Python