Multi: a Formal Playground for Multi-Smart Contract Interaction | Publicación