TY - RPRT TI - Harmonica: A Framework for Semi-automated Design and Implementation of Blockchain Applications AU - Nicolas Six AU - Nicolas Herbaut AU - Camille Salinesi PY - 2022 DO - 10.1002/inst.12358 UR - https://arxiv.org/abs/2201.06275 ID - 2201.06275 ER -