TY - RPRT TI - On the weakness of the vague specification property AU - Melih Emin Can AU - Alexandre Trilles PY - 2025 UR - https://arxiv.org/abs/2411.01556 ID - 2411.01556 ER -