TY - RPRT TI - Assurance 2.0: A Manifesto AU - Robin Bloomfield AU - John Rushby PY - 2021 UR - https://arxiv.org/abs/2004.10474 ID - 2004.10474 ER -