Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs.

Published in: CoRR (2022)

Keyphrases