Citation:
K. Bhargavan, et al., “Formal Verification of Smart Contracts,” in Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016.
 | 902 KB |
Anitha (Boyapati) Gollamudi
309, Maxwell Dworkin,
33 Oxford Street,
Cambridge, MA 02138
Email: anitha_<LAST-NAME>@uml.edu
(replace <LAST-NAME> with my last name)
Find my PGP key
