TY - RPRT TI - A Formal Treatment of Contract Signature AU - Ron van der Meyden PY - 2021 DO - 10.1109/tsc.2021.3101833 UR - https://arxiv.org/abs/2002.09827 ID - 2002.09827 ER -