Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications | doi.page