John Kolb
EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2020-220
December 18, 2020
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-220.pdf
Advisor: Randy H. Katz and David Culler
BibTeX citation:
@phdthesis{Kolb:EECS-2020-220, Author = {Kolb, John}, Title = {A Languge-Based Approach to Smart Contract Engineering}, School = {EECS Department, University of California, Berkeley}, Year = {2020}, Month = {Dec}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-220.html}, Number = {UCB/EECS-2020-220} }
EndNote citation:
%0 Thesis %A Kolb, John %T A Languge-Based Approach to Smart Contract Engineering %I EECS Department, University of California, Berkeley %D 2020 %8 December 18 %@ UCB/EECS-2020-220 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-220.html %F Kolb:EECS-2020-220