Franklin Schrans, Susan Eisenbach, Sophia Drossopoulou. Writing safe smart contracts in Flint. In Stefan Marr, Jennifer B. Sartor, editors, Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018. pages 218-219, ACM, 2018. [doi]
Abstract is missing.