TY  - RPRT
TI  - Property-Based Testing by Elaborating Proof Outlines
AU  - Dale Miller
AU  - Alberto Momigliano
PY  - 2024
DO  - 10.1017/s1471068424000176
UR  - https://arxiv.org/abs/2406.10053
ID  - 2406.10053
ER  -