David Richter 0001 David Kretzler Pascal Weisenburger Guido Salvaneschi Sebastian Faust Mira Mezini Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact). 16:1-16:3 2022 8 Dagstuhl Artifacts Ser. 2 https://doi.org/10.4230/DARTS.8.2.16 db/journals/darts/darts8.html#RichterKWSFM22