TY  - RPRT
TI  - Obsidian: Typestate and Assets for Safer Blockchain Programming
AU  - Michael Coblenz
AU  - Reed Oei
AU  - Tyler Etzel
AU  - Paulette Koronkevich
AU  - Miles Baker
AU  - Yannick Bloem
AU  - Brad A. Myers
AU  - Joshua Sunshine
AU  - Jonathan Aldrich
PY  - 2019
UR  - https://arxiv.org/abs/1909.03523
ID  - 1909.03523
ER  -